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

Olivier Coudert, Jean Christophe Madre

Browse the full DAC paper archive.