Peter Heusch

Publication Activity (10 Years)

Years Active: 1991-2003
Publications (10 Years): 0

Publications

Peter Heusch, Stefan Porschen, Ewald Speckenmeyer
Improving a fixed parameter tractability time bound for the shadow problem. J. Comput. Syst. Sci. 67 (4) (2003)
Peter Heusch
The Complexity of the Falsifiability Problem for Pure Implicational Formulas. Discret. Appl. Math. (1999)
Ewald Speckenmeyer, Max Böhm, Peter Heusch
On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers. Satisfiability Problem: Theory and Applications (1996)
Peter Heusch
The Complexity of the Falsifiability Problem for Pure Implicational Formulas. MFCS (1995)
Peter Heusch, Ewald Speckenmeyer
Some Aspects of the Probabilistic Behavior of Variants of Resolution. CSL (1991)