On the Complexity of Resolution with Bounded Conjunctions Preprint.ps
Juan Luis Esteban, Nicola Galesi, and Jochen Messner.
Theoretical Computer Sience, 321 (2004), pp 347--370.
Technical Report No LSI-I-03-33-R. Universitat Politecnica de Catalunya, Departament de Llenguatges i Sistemes Informatics.
Extended Abstract in Proceedings of the 29th International Colloquium
on Automata, Languages and Programming (ICALP 2002), LNCS 2380, pp. 220--231,
Springer-Verlag, 2002.
(
Get it from Springer)
On the Structure of the Simulation Order of Proof Systems.
Jochen Messner.
Extended Abstract in Proceedings of the 27th International
Symposium on Mathematical Foundations of Computer Science (MFCS 2002),
LNCS 2420, pp. 581--592, Springer-Verlag 2002.
(
Get it from Springer)
Three Algorithms for Packing Variable Size Bobbins.
Uwe Bubeck, Jochen Messner, Uwe Schöning, Thomas Thierauf and Jacobo Toran.
Technical Report Institute for Theoretical Computer Science, Ulm University 2002.
On the Simulation Order of Proof Systems.
Jochen Messner.
Ph.D. Thesis. Universität Ulm 2000. (PS, PDF)
Is the standard proof system for SAT p-optimal?
Johannes Köbler and Jochen Messner.
In Proceedings of the 20th Annual Conference on the Foundations
of Software Technology and Theoretical Computer
Science (FST TCS 2000)}, LNCS 1974, pp.
361--372. Springer-Verlag, 2000.
(
Get it from Springer)
On Optimal Algorithms and Optimal Proof Systems
Jochen Messner
An excerpt of a preliminary version of this paper appeares in
Proceedings of the 16th Symposium on
Theoretical Aspects of Computer Science, LNCS
1563, pp. 361--372, Springer-Verlag, 1999.
(
Get it from Springer)
Complete Problems for Promise Classes by Optimal Proof Systems for
Test Sets
Johannes Köbler and Jochen Messner
In Proceedings of the 13th IEEE Conference on
Computational Complexity (CCC), pp. 132--140,
IEEE, 1998.
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Messner and Jacobo Torán
In Proceedings of the 15th Symposium on
Theoretical Aspects of Computer Science, LNCS
1373, pp. 477--487, Springer-Verlag, 1998.
(
Online Version 1997 in ECCC)
Pattern Matching in Trace Monoids
Jochen Messner
Technical Report Nr. 97-01 UIB (Ulmer Informatik Berichte)
Extended Abstract in Proceedings of the 14th Symposium on
Theoretical Aspects of Computer Science, LNCS 1200, pp. 571--582,
Springer-Verlag, 1997.