Pueblo: A Modern Pseudo-Boolean SAT Solver

Hossein M. Sheini (1) , Karem A. Sakallah (1)

1 Dep. of Electrical Engineering

This paper introduces a new SAT solver that integrates logic-based 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.

Domaines: Architectures Matérielles [cs.AR]; Electronique

Hossein M. Sheini, Karem A. Sakallah. Pueblo: A Modern Pseudo-Boolean SAT Solver. DATE'05, Mar 2005, Munich, Germany. pp.684-685. ⟨hal-00181187⟩