An experimental study of satisfiability search heuristics

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2000, Pages 745-

  Aloul, Fadi A ^a   Marques Silva, João P ^b   Sakallah, Karem A ^a  

^a The Department of Civil and Environmental Engineering   (United States)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CAD TOOL; ELECTRONIC DESIGN AUTOMATION; PROPOSITIONAL SATISFIABILITY; SAT PROBLEMS; SATISFIABILITY; SEARCH HEURISTICS;

EXHIBITIONS; HEURISTIC ALGORITHMS;

COMPUTER AIDED DESIGN;

EID: 77950327885     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2000.840878     Document Type: Conference Paper

References (0)