| |
| 2003 | ||
|---|---|---|
| 4 | EE | Peter Heusch, Stefan Porschen, Ewald Speckenmeyer: Improving a fixed parameter tractability time bound for the shadow problem. J. Comput. Syst. Sci. 67(4): 772-788 (2003) |
| 1999 | ||
| 3 | EE | Peter Heusch: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. Discrete Applied Mathematics 96-97: 127-138 (1999) |
| 1995 | ||
| 2 | Peter Heusch: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. MFCS 1995: 221-226 | |
| 1991 | ||
| 1 | Peter Heusch, Ewald Speckenmeyer: Some Aspects of the Probabilistic Behavior of Variants of Resolution. CSL 1991: 164-172 | |
| 1 | Stefan Porschen | [4] |
| 2 | Ewald Speckenmeyer | [1] [4] |