Peter Heusch

According to our database, Peter Heusch authored at least 4 papers between 1991 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Improving a fixed parameter tractability time bound for the shadow problem.

Peter Heusch, Stefan Porschen, Ewald Speckenmeyer

J. Comput. Syst. Sci., 2003

1999

The Complexity of the Falsifiability Problem for Pure Implicational Formulas.

Peter Heusch

Discret. Appl. Math., 1999

1996

On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers.

Ewald Speckenmeyer, Max Böhm, Peter Heusch

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

1991

Some Aspects of the Probabilistic Behavior of Variants of Resolution.

Peter Heusch, Ewald Speckenmeyer

Proceedings of the Computer Science Logic, 5th Workshop, 1991