![]() |
Volumn 329, Issue 1-3, 2004, Pages 303-313
|
An improved deterministic local search algorithm for 3-SAT
|
Author keywords
3 SAT; Exact algorithm; Local search
|
Indexed keywords
BOOLEAN ALGEBRA;
COMPUTER SCIENCE;
PROBABILITY;
PROBLEM SOLVING;
THEOREM PROVING;
3-SAT;
EXACT ALGORITHM;
LOCAL SEARCH;
ALGORITHMS;
|
EID: 10044219900
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/j.tcs.2004.08.002 Document Type: Article |
Times cited : (66)
|
References (4)
|