![]() |
Volumn 3542, Issue , 2005, Pages 345-359
|
March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPETITION;
COMPUTATIONAL METHODS;
COSTS;
INTEGRATION;
LEARNING SYSTEMS;
PROBLEM SOLVING;
COMPUTATIONAL COSTS;
EQUIVALENCE REASONING;
LOCAL LEARNING;
LOOK-AHEAD SAT SOLVER;
COMPUTER ARCHITECTURE;
|
EID: 26444462478
PISSN: 03029743
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1007/11527695_26 Document Type: Conference Paper |
Times cited : (35)
|
References (14)
|