David Bañeres, Jordi Cortadella, Michael Kishinevsky. A recursive paradigm to solve Boolean relations. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 416-421, ACM, 2004. [doi]
@inproceedings{BaneresCK04, title = {A recursive paradigm to solve Boolean relations}, author = {David Bañeres and Jordi Cortadella and Michael Kishinevsky}, year = {2004}, doi = {10.1145/996566.996687}, url = {http://doi.acm.org/10.1145/996566.996687}, researchr = {https://researchr.org/publication/BaneresCK04}, cites = {0}, citedby = {0}, pages = {416-421}, booktitle = {Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004}, editor = {Sharad Malik and Limor Fix and Andrew B. Kahng}, publisher = {ACM}, isbn = {1-58113-828-8}, }