Open AccessParameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses
Author(s) -
Oliver Kullmann,
Xiaoning Zhao
Publication year - 2015
Publication title -
cornell university
Language(s) - English
DOI - 10.5281/zenodo.32324
Subject(s) - mathematics , combinatorics , conjecture , upper and lower bounds , discrete mathematics , natural number , mathematical analysis