An adaptive prefix-assignment technique for symmetry reduction (Q5915764)
From MaRDI portal
scientific article; zbMATH DE number 6807221
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An adaptive prefix-assignment technique for symmetry reduction |
scientific article; zbMATH DE number 6807221 |
Statements
An adaptive prefix-assignment technique for symmetry reduction (English)
0 references
15 November 2017
0 references
