Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses (Q6261651)
From MaRDI portal
scientific article; zbMATH DE number 900247328
Language | Label | Description | Also known as |
---|---|---|---|
English | Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses |
scientific article; zbMATH DE number 900247328 |
Statements
9 May 2015
0 references
cs.DM
0 references
cs.LO
0 references
math.CO
0 references