Faster SAT and Smaller BDDs via Common Function Structure. Aloul, F., Markov, I., & Sakallah, K. A. In Digest of IEEE International Conference on Computer-Aided Design (ICCAD), pages 443-448, San Jose, California, November, 2001.
bibtex   
@inproceedings{aloul2001faster,
   author = {Aloul, Fadi and Markov, Igor and Sakallah, Karem A.},
   title = {{Faster SAT and Smaller BDDs via Common Function Structure}},
   booktitle = {Digest of IEEE International Conference on Computer-Aided Design (ICCAD)},
   address = {San Jose, California},
   pages = {443-448},
   month = {November},
   year = {2001}
}

Downloads: 0