default search action
BibTeX record conf/ifip10-5/CarloniGVBS99
@inproceedings{DBLP:conf/ifip10-5/CarloniGVBS99, author = {Luca P. Carloni and Evguenii I. Goldberg and Tiziano Villa and Robert K. Brayton and Alberto L. Sangiovanni{-}Vincentelli}, editor = {L. Miguel Silveira and Srinivas Devadas and Ricardo Augusto da Luz Reis}, title = {Aura {II:} Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems}, booktitle = {{VLSI:} Systems on a Chip, {IFIP} {TC10/WG10.5} Tenth International Conference on Very Large Scale Integration {(VLSI} '99), December 1-4, 1999, Lisbon, Portugal}, series = {{IFIP} Conference Proceedings}, volume = {162}, pages = {346--361}, publisher = {Kluwer}, year = {1999}, timestamp = {Mon, 14 Oct 2002 13:30:59 +0200}, biburl = {https://dblp.org/rec/conf/ifip10-5/CarloniGVBS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.