Sciweavers

AAAI
2006

New Inference Rules for Efficient Max-SAT Solving

14 years 29 days ago
New Inference Rules for Efficient Max-SAT Solving
Federico Heras, Javier Larrosa
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where AAAI
Authors Federico Heras, Javier Larrosa
Comments (0)