1 citations · 1 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
On Dedicated CDCL Strategies for PB Solvers
Daniel Le Berre, Romain Wallon
Current implementations of pseudo-Boolean (PB) solvers working on native PB constraints are based on the CDCL architecture which empowers highly efficient modern SAT solvers. In pa…
cs.AI2021
On Improving the Backjump Level in PB Solvers
Romain Wallon
Current PB solvers implement many techniques inspired by the CDCL architecture of modern SAT solvers, so as to benefit from its practical efficiency. However, they also need to dea…