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

37

click to vote

more SAT 2009 ...

sat.inesc-id.pt

Tweet