|
Volumn , Issue , 1997, Pages 197-202
|
Exploiting symmetry in lifted CSPs
a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
DATA STRUCTURES;
MATHEMATICAL TECHNIQUES;
PROBLEM SOLVING;
CONSTRAINT SATISFACTION PROBLEM;
LARGE SCALE SYMMETRIC STRUCTURE;
PLANNING PROBLEM;
PROPOSITIONAL ENCODING;
CONSTRAINT THEORY;
|
EID: 0031348981
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (14)
|
References (19)
|