research
∙
09/02/2021
On Dedicated CDCL Strategies for PB Solvers
Current implementations of pseudo-Boolean (PB) solvers working on native...
share
research
∙
07/27/2021
On Improving the Backjump Level in PB Solvers
Current PB solvers implement many techniques inspired by the CDCL archit...
research
∙
12/08/2020
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cuttin...
research
∙
05/09/2020
On Weakening Strategies for PB Solvers
Current pseudo-Boolean solvers implement different variants of the cutti...
research
∙
05/09/2019