Login / Signup
Incorporating Clause Learning in Grid-Based Randomized SAT Solving.
Antti Eero Johannes Hyvärinen
Tommi A. Junttila
Ilkka Niemelä
Published in:
J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
</>
sat solving
clause learning
sat solvers
boolean satisfiability
sat problem
satisfiability problem
propositional satisfiability
max sat
orders of magnitude
sat instances
search space
answer sets
symmetry breaking
search algorithm
state space
temporal logic