Faster SAT and Smaller BDDs via Common Function Structure.

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

Browse the full ICCAD paper archive.