Pueblo: A Hybrid Pseudo-Boolean SAT Solver
Hossein M. Sheini, Karem A. Sakallah · Journal on Satisfiability Boolean Modeling and Computation · 2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization problems. To achieve this, we adopt the cutting-plane technique to dra