Faster SAT and Smaller BDDs via Common Function Structure.

Fadi A. Aloul Igor L. Markov Karem A. Sakallah

Published in: ICCAD (2001)

Keyphrases

search algorithm
graph structure
database
data sets
neural network
probabilistic model
heuristic search
structural information