New Techniques for Efficient Verification with Implicitly Conjoined BDDs.

Alan J. Hu Gary York David L. Dill

Published in: DAC (1994)

Keyphrases

computationally efficient
databases
genetic algorithm
mobile robot
machine learning
multiscale
video sequences
dynamic programming
model checking
computationally expensive
face verification