Login / Signup
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers.
Knot Pipatsrisawat
Adnan Darwiche
Published in:
SAT (2009)
Keyphrases
</>
clause learning
sat solvers
random walk
optimal policy
sat problem
sat solving
satisfiability problem
optimal solution
propositional satisfiability
np hard
orders of magnitude
max sat