![]() |
Volumn 1138, Issue , 1996, Pages 197-212
|
A new approach on solving 3-satisfiability
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ARTIFICIAL INTELLIGENCE;
ALGORITHM FOR SOLVING;
NEW APPROACHES;
SPECIAL PROPERTIES;
CONSTRAINT SATISFACTION PROBLEMS;
|
EID: 84867551436
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-61732-9_59 Document Type: Conference Paper |
Times cited : (15)
|
References (15)
|