EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.

Olga Tveretina Wieger Wesselink

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

cnf formula
np complete
satisfiability problem
computational properties
phase transition
propositional logic
knowledge representation
logic programming
automated reasoning
predicate calculus
bounded model checking
propositional variables