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]

Abstract

Abstract is missing.