Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. A Fully Implicit Algorithm for Exact State Minimization. In DAC. pages 684-690, 1994. [doi]
@inproceedings{KamVBS94,
title = {A Fully Implicit Algorithm for Exact State Minimization},
author = {Timothy Kam and Tiziano Villa and Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli},
year = {1994},
doi = {10.1145/196244.196615},
url = {http://doi.acm.org/10.1145/196244.196615},
researchr = {https://researchr.org/publication/KamVBS94},
cites = {0},
citedby = {0},
pages = {684-690},
booktitle = {DAC},
}