Sciweavers

94
Voted
DATE
2005
IEEE
150views Hardware» more  DATE 2005»
15 years 2 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 eff...
Hossein M. Sheini, Karem A. Sakallah