On solving stack-based incremental satisfiability problems

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 2000, Pages 379-382

  Kim, Joonyoung ^a   Whittemore, Jesse ^a   Sakallah, Karem ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; BOOLEAN ALGEBRA; BUFFER STORAGE; COMPUTATIONAL COMPLEXITY; LINEAR PROGRAMMING; PIPELINE PROCESSING SYSTEMS;

BOOLEAN SATISFIABILITY (SAT); ELECTRONIC DESIGN AUTOMATION (EDA); STACK-BASED INCREMENTAL SATISFIABILITY PROBLEMS;

INTEGRATED CIRCUIT LAYOUT;

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

References (5)