Boolean satisfiability algorithms and applications in electronic design automation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1855, Issue , 2000, Pages 3-

  Marques Silva, João ^a   Sakallah, Karem ^b  

^a INESC   (Portugal)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER AIDED ANALYSIS; COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LOGIC; LOGIC SYNTHESIS; MODEL CHECKING;

ALGORITHMIC TECHNIQUES; BOOLEAN SATISFIABILITY; BOOLEAN SATISFIABILITY PROBLEMS; BOUNDED MODEL CHECKING; COMBINATIONAL EQUIVALENCE CHECKING; COMPUTER SCIENCE AND ENGINEERINGS; LOGIC OPTIMIZATION; TEST PATTERN GENERATIONS;

ELECTRONIC DESIGN AUTOMATION;

EID: 72949117053     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (0)