Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dynamic structural symmetry breaking for constraint satisfaction problems |
scientific article |
Statements
Dynamic structural symmetry breaking for constraint satisfaction problems (English)
0 references
16 November 2009
0 references
symmetry breaking
0 references
dominance detection
0 references
tractability
0 references
CSP
0 references