Grid-Based SAT Solving with Iterative Partitioning and Clause Learning.

Antti Eero Johannes Hyvärinen Tommi A. Junttila Ilkka Niemelä

Published in: CP (2011)

Keyphrases

sat solving
clause learning
sat solvers
sat problem
boolean satisfiability
satisfiability problem
search space
propositional satisfiability
sat encodings
max sat
sat instances
orders of magnitude
search tree
answer sets
randomly generated
search strategies
constraint satisfaction
utility function
special case