%0 Journal Article %1 journals/tcad/VillaKBS97 %A Villa, Tiziano %A Kam, Timothy %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %D 1997 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 7 %P 677-691 %T Explicit and implicit algorithms for binate covering problems. %U http://dblp.uni-trier.de/db/journals/tcad/tcad16.html#VillaKBS97 %V 16

@article{journals/tcad/VillaKBS97, added-at = {2020-09-24T00:00:00.000+0200}, author = {Villa, Tiziano and Kam, Timothy and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2329e6b6182db78c54e60987234d7512c/dblp}, ee = {https://www.wikidata.org/entity/Q57380830}, interhash = {ec5ecc104f0863f8a1fcd1c5aa3c10fd}, intrahash = {329e6b6182db78c54e60987234d7512c}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 7, pages = {677-691}, timestamp = {2020-09-25T11:46:06.000+0200}, title = {Explicit and implicit algorithms for binate covering problems.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad16.html#VillaKBS97}, volume = 16, year = 1997 }