0/1 Vertex and Facet Enumeration with BDDs.

Markus Behle Friedrich Eisenbrand

Published in: ALENEX (2007)

Keyphrases

heuristic search
binary decision diagrams
search space
multi faceted
timed automata
minimum weight
dynamic programming
directed graph
machine learning
data mining
undirected graph
knowledge compilation
hamiltonian cycle