%0 Conference Paper %1 conf/iccad/GoldbergCVBS97 %A Goldberg, Evguenii I. %A Carloni, Luca P. %A Villa, Tiziano %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %B ICCAD %D 1997 %E Otten, Ralph H. J. M. %E Yasuura, Hiroto %I IEEE Computer Society / ACM %K dblp %P 91-98 %T Negative thinking by incremental problem solving: application to unate covering. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1997.html#GoldbergCVBS97 %@ 0-8186-8200-0

@inproceedings{conf/iccad/GoldbergCVBS97, added-at = {2023-03-24T00:00:00.000+0100}, author = {Goldberg, Evguenii I. and Carloni, Luca P. and Villa, Tiziano and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2c7e8e2f6fa13ae2e67a4e2bf4a8e5c3e/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1997}, editor = {Otten, Ralph H. J. M. and Yasuura, Hiroto}, ee = {https://dl.acm.org/citation.cfm?id=266433}, interhash = {40f9d1243d87923426f378b6bc937ea0}, intrahash = {c7e8e2f6fa13ae2e67a4e2bf4a8e5c3e}, isbn = {0-8186-8200-0}, keywords = {dblp}, pages = {91-98}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T20:49:54.000+0200}, title = {Negative thinking by incremental problem solving: application to unate covering.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1997.html#GoldbergCVBS97}, year = 1997 }