Exact satisfiability of linear CNF formulas von Schuh, Bernd R.

Volltext

Unique polynomial solution of $m/n=1/x+1/y+1/z$ for $n \equiv b {\rm mod}\, a$ if $(a,m)=1 von Schuh, Bernd R

Volltext bestellen

Balanced incomplete block designs and exact satisfiability von Schuh, Bernd. R

Volltext bestellen

Unique polynomial solution of \(m/n=1/x+1/y+1/z\) for \(n \equiv b {\rm mod}\, a\) if \((a,m)=1\) von Schuh, Bernd R

Volltext

Sub-exponential complexity of regular linear CNF formulas von Schuh, Bernd R

Volltext bestellen

XSAT of Linear CNF Formulas von Schuh, Bernd. R

Volltext bestellen

A criterion for "easiness" of certain SAT problems von Schuh, Bernd R

Volltext bestellen

Polynomial time estimates for #SAT von Schuh, Bernd R

Volltext bestellen

Balanced incomplete block designs and exact satisfiability von Schuh, Bernd R

Volltext

Sub-exponential complexity of regular linear CNF formulas von Schuh, Bernd R

Volltext

Easy/Hard Transition in k-SAT von Schuh, Bernd R

Volltext bestellen

SAT for pedestrians von Schuh, Bernd R

Volltext bestellen

XSAT of Linear CNF Formulas von Schuh, Bernd R

Volltext

A criterion for "easiness" of certain SAT problems von Schuh, Bernd R

Volltext

Polynomial time estimates for #SAT von Schuh, Bernd R

Volltext

Phase Transition in Unrestricted Random SAT von Schuh, Bernd R

Volltext bestellen

Easy/Hard Transition in k-SAT von Schuh, Bernd R

Volltext

SAT for pedestrians von Schuh, Bernd R

Volltext

A Real World Mechanism for Testing Satisfiability in Polynomial Time von Schuh, Bernd R

Volltext bestellen

Logical Primes, Metavariables and Satisfiability von Schuh, Bernd R

Volltext bestellen