An adaptive prefix-assignment technique for symmetry reduction (Q5919303)
From MaRDI portal
scientific article; zbMATH DE number 7151943
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An adaptive prefix-assignment technique for symmetry reduction |
scientific article; zbMATH DE number 7151943 |
Statements
An adaptive prefix-assignment technique for symmetry reduction (English)
0 references
15 January 2020
0 references
symmetry breaking
0 references
symmetry reduction
0 references
isomorph rejection
0 references
constraint programming
0 references
SAT
0 references
canonical extension
0 references
0 references
0 references
0 references
0 references
