|
Volumn , Issue , 2003, Pages 84-93
|
MFSAT: A SAT Solver Using Multi-Flip Local Search
|
Author keywords
[No Author keywords available]
|
Indexed keywords
MULTI-FLIP PROCEDURES;
PROPOSITIONAL SATISFIABILITY (SAT);
COMPUTER SCIENCE;
ENCODING (SYMBOLS);
ITERATIVE METHODS;
ONLINE SEARCHING;
POLYNOMIALS;
PROBLEM SOLVING;
TREES (MATHEMATICS);
ARTIFICIAL INTELLIGENCE;
|
EID: 0344666764
PISSN: 10636730
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (5)
|
References (14)
|