[For more talks see my Publications page.]


Presentation of the SAT-Race 2006 Results at the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06), August 2006, Seattle, WA, USA.

Produktkonfiguration und SAT-Solving. Talk held at the opening workshop Variablitätsmodellierung und Produktkonfiguration of the Christian Doppler Laboratory for Automated Software Engineering, Johannes Kepler University Linz, Austria. March 2006.

On the Use of Extended Resolution in Propositional Reasoning. Talk held at the Theory and Logic Group, Vienna University of Technology, Austria. January 2006.


Practical Applications of SAT. Talk held at the Research Institute for Symbolic Computation (RISC), Linz, Austria. October 2005.


Visualisierung strukturierter SAT-Instanzen. Talk held at the Jahrestagung 2004 der Deutschen Mathematiker-Vereinigung (DMV 2004), Sektion Mathematische Logik, Heidelberg, Germany. September 2004.

Propostional Translation of PVS Specifications. Talk held at the National Institute of Aerospace (NIA), NASA Langley Research Center, Hampton, VA, USA. September 2004.

Visualization of Strucured SAT Instances. Talk held at the Intelligent Information Systems Institute (Bart Selman), Cornell University, Ithaca, NY, USA. August 2004.


Produktkonfiguration mittels geordneter Resolution. Talk held at the Jahrestagung 2003 der GI-Fachgruppe Deduktionssysteme, Augsburg, Germany. October 2003.

Practical Applications of SAT. Talk held at Schloss Dagstuhl, International Conference and Research Center for Computer Science, Wadern, Germany. April 2003.