Generating Difficult CNF Instances in Unexplored Constrainedness Regions (Q6039929)
From MaRDI portal
scientific article; zbMATH DE number 7688308
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating Difficult CNF Instances in Unexplored Constrainedness Regions |
scientific article; zbMATH DE number 7688308 |
Statements
Generating Difficult CNF Instances in Unexplored Constrainedness Regions (English)
0 references
23 May 2023
0 references
constraint satisfaction
0 references
constrainedness region
0 references
instance difficulty
0 references
instance generator
0 references
