A Compressed Breadth-First Search for Satisfiability.

DoRon B. Motter Igor L. Markov

Published in: ALENEX (2002)

Keyphrases

breadth first search
depth first search
data structure
search algorithm
external memory
np complete
computational complexity
search tree
database systems
dynamic programming
multi dimensional