Sciweavers

SAT
2009
Springer

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

14 years 6 months ago
Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Carlos Ansótegui, Maria Luisa Bonet, Jordi
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where SAT
Authors Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Comments (0)