New ideas for solving covering problems

Proceedings - Design Automation Conference

Volumn , Issue , 1995, Pages 641-646

  Coudert, Olivier ^a   Madre, Jean Christophe ^a  

^a SYNOPSYS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; CALCULATIONS; COMPUTATION THEORY; HEURISTIC METHODS; LOGIC GATES; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SET THEORY;

COVERING PROBLEMS; HEURISTIC ALGORITHMS; LOGIC SYNTHESIS; PRUNING TECHNIQUES;

COMPUTER AIDED LOGIC DESIGN;

EID: 0029212471     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/217474.217603     Document Type: Conference Paper

References (16)