Login / Signup
Early Conflict Detection Based BCP for SAT Solving.
Matthew D. T. Lewis
Tobias Schubert
Bernd Becker
Published in:
SAT (2004)
Keyphrases
</>
sat solving
conflict detection
sat solvers
boolean satisfiability
sat problem
boolean optimization
search strategies
sat encodings
constraint satisfaction
max sat
orders of magnitude
branch and bound
distributed environment
constraint propagation
cellular automata
lower bound
reinforcement learning