Extending Existential Quantification in Conjunctions of BDDs.

Sean A. Weaver John V. Franco John S. Schlipf

Published in: J. Satisf. Boolean Model. Comput. (2006)

Keyphrases

heuristic search
query answering
binary decision diagrams
neural network
relational databases
information retrieval
social networks
computer vision
image sequences
search algorithm
association rules