Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses
From MaRDI portal
Publication:6261651
arXiv1505.02318MaRDI QIDQ6261651
Publication date: 9 May 2015
Classical propositional logic (03B05) Discrete mathematics in relation to computer science (68R99) Extremal combinatorics (05D99)
This page was built for publication: Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses