The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours.

Olaf Schröer Ingo Wegener

Published in: Formal Methods Syst. Des. (1998)

Keyphrases

small number
image processing
real world
artificial intelligence
theoretical framework
computational effort
data mining
computational complexity
artificial neural networks
heuristic search
fixed number