Minimization of Free BDDs.

Wolfgang Günther Rolf Drechsler

Published in: ASP-DAC (1999)

Keyphrases

heuristic search
objective function
binary decision diagrams
minimization problems
global minimization
artificial intelligence
feature selection
knowledge base
data structure