2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CC2014
Easy/Hard Transition in k-SAT
Bernd R. Schuh
A heuristic model procedure for determining satisfiability of CNF-formulae is set up and described by nonlinear recursion relations for m (number of clauses), n (number of variable…
cs.CC2014★ 1 cited
SAT for pedestrians
Bernd R. Schuh
The aim of this short note is mainly pedagogical. It summarizes some knowledge about Boolean satisfiability (SAT) and the P=NP? problem in an elementary mathematical language. A co…
cs.CC2012★ 2 cited
Phase Transition in Unrestricted Random SAT
Bernd R. Schuh
For random CNF formulae with m clauses, n variables and an unrestricted number of literals per clause the transition from high to low satisfiability can be determined exactly for l…