Current implementations of pseudo-Boolean (PB) solvers working on native...
Current PB solvers implement many techniques inspired by the CDCL
archit...
Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cuttin...
Current pseudo-Boolean solvers implement different variants of the cutti...
We consider bounded width CNF-formulas where the width is measured by po...