On Dedicated CDCL Strategies for PB Solvers.

Daniel Le Berre Romain Wallon

Published in: SAT (2021)

Keyphrases

sat solvers
search strategies
sat encodings
orders of magnitude
clause learning
sat solving
constraint satisfaction
sat instances
boolean satisfiability
search tree
sat problem
propositional satisfiability
search space
max sat