Olivier Coudert, Jean Christophe Madre. Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. In DAC. pages 36-39, 1992. [doi]
@inproceedings{CoudertM92,
title = {Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions},
author = {Olivier Coudert and Jean Christophe Madre},
year = {1992},
url = {http://portal.acm.org/citation.cfm?id=113938.113929},
tags = {incremental},
researchr = {https://researchr.org/publication/CoudertM92},
cites = {0},
citedby = {0},
pages = {36-39},
booktitle = {DAC},
}