Symbolic Techniques in Satisfiability Solving.

Guoqiang Pan Moshe Y. Vardi

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

Keyphrases

high level
sat encodings
propositional logic
stochastic local search
sat solving
database
symbolic representation
solving problems
data mining
computational complexity
logic programs
np complete
sat instances
random sat instances