Implicit and incremental computation of primes and essential primes of Boolean functions

Proceedings - Design Automation Conference

Volumn , Issue , 1992, Pages 36-39

  Coudert, O ^a   Madre, J C ^a  

^a Bull Corporate Research Cent ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DECISION THEORY; FINITE ELEMENT METHOD; SET THEORY;

BINARY DECISION DIAGRAMS;

COMPUTATION THEORY;

EID: 0026973232     PISSN: 01467123     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)