Visualizing SAT Instances and Runs of the DPLL Algorithm.

Published in: J. Autom. Reason. (2007)

Keyphrases

randomly generated
learning algorithm
sat solvers
propositional satisfiability
np hard
dynamic programming
matching algorithm
sat instances