![]() |
Volumn 129, Issue 1-2, 2001, Pages 133-163
|
Exploiting symmetries within constraint satisfaction search
|
Author keywords
Constraint satisfaction; Heuristics; Nogoods; Symmetry
|
Indexed keywords
CONSTRAINT THEORY;
DECISION THEORY;
HEURISTIC METHODS;
PROBLEM SOLVING;
RAMSEY THEORY;
ARTIFICIAL INTELLIGENCE;
|
EID: 0035368402
PISSN: 00043702
EISSN: None
Source Type: Journal
DOI: 10.1016/S0004-3702(01)00104-7 Document Type: Article |
Times cited : (46)
|
References (24)
|