Bernd R. Schuh

12 papers Journal 12

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Balanced incomplete block designs and exact satisfiability. CoRR Bernd R. Schuh
2018	J	`jnl`	Exact satisfiability of linear CNF formulas. Discret. Appl. Math. Bernd R. Schuh
2018	J	`jnl`	Sub-exponential Upper Bound for #XSAT of some CNF Classes. CoRR Bernd R. Schuh
2018	J	`jnl`	Sub-exponential complexity of regular linear CNF formulas. CoRR Bernd R. Schuh
2017	J	`jnl`	A criterion for "easiness" of certain SAT problems. CoRR Bernd R. Schuh
2017	J	`jnl`	Polynomial time estimates for #SAT. CoRR Bernd R. Schuh
2017	J	`jnl`	XSAT of Exact Linear CNF Classes. CoRR Bernd R. Schuh
2014	J	`jnl`	Easy/Hard Transition in k-SAT. CoRR Bernd R. Schuh
2014	J	`jnl`	SAT for pedestrians. CoRR Bernd R. Schuh
2012	J	`jnl`	Phase Transition in Unrestricted Random SAT CoRR Bernd R. Schuh
2010	J	`jnl`	A Real World Mechanism for Testing Satisfiability in Polynomial Time CoRR Bernd R. Schuh
2009	J	`jnl`	Logical Primes, Metavariables and Satisfiability CoRR Bernd R. Schuh