Binary decision diagrams for first-order predicate logic.

Jan Friso Groote Olga Tveretina

Published in: J. Log. Algebraic Methods Program. (2003)

Keyphrases

binary decision diagrams
theorem proving
boolean functions
symbolic model checking
planning problems
variable ordering
model checking
databases
search algorithm
knowledge compilation
database
real world
information retrieval
first order logic