Sciweavers

JSAT
2008
83views more  JSAT 2008»
13 years 11 months ago
The First and Second Max-SAT Evaluations
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
Josep Argelich, Chu Min Li, Felip Manyà, Jo...