Oliver Kullmann

[2] viXra:1509.0014 submitted on 2015-09-01 05:06:34, (51 unique-IP downloads)

Parameters for Minimal Unsatisfiability: Smarandache Primitive Numbers and Full Clauses

Authors: Oliver Kullmann, Xishun Zhao
Category: General Mathematics

[1] viXra:1411.0446 submitted on 2014-11-20 04:52:50, (72 unique-IP downloads)

Bounds for Variables with Few Occurrences in Conjunctive Normal Forms

Authors: Oliver Kullmann, Xishun Zhao
Category: General Science and Philosophy