Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. Negative thinking by incremental problem solving: application to unate covering. In ICCAD. pages 91-98, 1997. [doi]
@inproceedings{GoldbergCVBS97,
title = {Negative thinking by incremental problem solving: application to unate covering},
author = {Evguenii I. Goldberg and Luca P. Carloni and Tiziano Villa and Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli},
year = {1997},
doi = {10.1145/266388.266433},
url = {http://doi.acm.org/10.1145/266388.266433},
tags = {incremental},
researchr = {https://researchr.org/publication/GoldbergCVBS97},
cites = {0},
citedby = {0},
pages = {91-98},
booktitle = {ICCAD},
}