- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 4 |      | 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 | | 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] |