Solving graph optimization problems with ZBDDs

Proceedings of European Design and Test Conference

Volumn , Issue , 1997, Pages 224-228

  Coudert, Olivier ^a  

^a SYNOPSYS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; GRAPH THEORY; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; SET THEORY;

ZERO SUPPRESSED BINARY DECISION DIAGRAM (ZBDD);

DECISION TABLES;

EID: 0030645165     PISSN: 10661409     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)