Faster SAT and Smaller BDDs via Common Function Structure (2001)

by Fadi A. Aloul , Igor L. Markov , Karem A. Sakallah
Venue:University of Michigan
Citations:27 - 7 self