C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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