Sequential Encodings from Max-CSP into Partial Max-SAT - Sciweavers

77

Voted

more SAT 2009 ...

sat.inesc-id.pt

Tweet