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

38

click to vote

more ISMVL 2009 ...

sat.inesc-id.pt

Tweet