History-Based Dynamic Minimization During BDD Construction.

Rolf Drechsler Wolfgang Günther

Published in: VLSI (1999)

Keyphrases

dynamic environments
information systems
database
neural network
social networks
computer vision
digital libraries
cost function
mobile robot