Sciweavers

DATE
2005
IEEE

Pueblo: A Modern Pseudo-Boolean SAT Solver

14 years 5 months ago
Pueblo: A Modern Pseudo-Boolean SAT Solver
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an efficient PB literal watching strategy and several PB learning methods that take advantage of the pruning power of PB constraints while minimizing their overhead.
Hossein M. Sheini, Karem A. Sakallah
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where DATE
Authors Hossein M. Sheini, Karem A. Sakallah
Comments (0)