Incremental Inprocessing in SAT Solving.

Katalin Fazekas Armin Biere Christoph Scholl

Published in: SAT (2019)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
max sat
search tree
special case
randomly generated
symmetry breaking
orders of magnitude
branch and bound algorithm
sat instances
clause learning