Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions

Olivier Coudert, Jean Christophe Madre. Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. In DAC. pages 36-39, 1992. [doi]

Authors

Olivier Coudert

This author has not been identified. Look up 'Olivier Coudert' in Google

Jean Christophe Madre

This author has not been identified. Look up 'Jean Christophe Madre' in Google