On Dedicated CDCL Strategies for PB Solvers.

Daniel Le Berre Romain Wallon

Published in: CoRR (2021)

Keyphrases

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