|
Volumn , Issue , 2007, Pages 2359-2364
|
Building structure into local search for SAT
|
Author keywords
[No Author keywords available]
|
Indexed keywords
BENCH-MARK PROBLEMS;
DEPENDENT VARIABLES;
EXPERIMENTAL STUDIES;
INDEPENDENT VARIABLES;
LOCAL SEARCH TECHNIQUES;
SATISFIABILITY PROBLEMS;
STRUCTURED PROBLEMS;
VARIABLE DEPENDENCIES;
ARTIFICIAL INTELLIGENCE;
INFORMATION ANALYSIS;
|
EID: 84880913380
PISSN: 10450823
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (43)
|
References (14)
|