Abstract DPLL and Abstract DPLL Modulo Theories.

Robert Nieuwenhuis Albert Oliveras Cesare Tinelli

Published in: LPAR (2004)

Keyphrases

np complete
first order logic
propositional logic
high level
sat solvers
sat problem
learning algorithm
special case