A Stochastic Non-CNF SAT Solver.

Rafiq Muhammad Peter J. Stuckey

Published in: PRICAI (2006)

Keyphrases

sat solvers
sat solving
orders of magnitude
propositional satisfiability
boolean satisfiability
sat instances
constraint satisfaction
sat problem
search strategies
max sat
search tree
search space
clause learning
boolean formula
search algorithm
answer sets
satisfiability problem