Hard satisfiable 3-SAT instances via autocorrelation (Q5015598)
From MaRDI portal
scientific article; zbMATH DE number 7441856
Language | Label | Description | Also known as |
---|---|---|---|
English | Hard satisfiable 3-SAT instances via autocorrelation |
scientific article; zbMATH DE number 7441856 |
Statements
Hard satisfiable 3-SAT instances via autocorrelation (English)
0 references
9 December 2021
0 references
SAT solver
0 references
autocorrelation
0 references
D-optimal matrices
0 references