A recursive paradigm to solve Boolean relations

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]

Authors

David Bañeres

This author has not been identified. Look up 'David Bañeres' in Google

Jordi Cortadella

This author has not been identified. Look up 'Jordi Cortadella' in Google

Michael Kishinevsky

This author has not been identified. Look up 'Michael Kishinevsky' in Google