Login / Signup
Early Conflict Detection Based SAT Solving.
Matthew D. T. Lewis
Tobias Schubert
Bernd Becker
Published in:
MBMV (2004)
Keyphrases
</>
sat solving
conflict detection
sat solvers
boolean satisfiability
sat problem
boolean optimization
max sat
search space
genetic algorithm
constraint programming
symmetry breaking
clause learning