Thomas Hillenbrand

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Multiresolution

Asymptotically Optimal

Theorem Proving

Search Strategies

Top Venues

Programming Logics

Automated Reasoning and Mathematics

Publications

Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics (2013)
Thomas Hillenbrand, Christoph Weidenbach
Superposition for Bounded Domains. Automated Reasoning and Mathematics (2013)
Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic
System Description: SpassVersion 3.0. CADE (2007)
Thomas Hillenbrand
A Superposition View on Nelson-Oppen. IJCAR Doctoral Programme (2004)
Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner
On using ground joinable equations in equational theorem proving. J. Symb. Comput. 36 (1-2) (2003)
Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
The New WALDMEISTER Loop at Work. CADE (2003)
Thomas Hillenbrand
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann
Superposition Modulo a Shostak Theory. CADE (2003)
Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, Dalibor Topic
S PASS Version 2.0. CADE (2002)
Thomas Hillenbrand, Bernd Löchner
The Next W ALDMEISTER Loop. CADE (2002)
Bernd Löchner, Thomas Hillenbrand
A phytography of WALDMEISTER. AI Commun. 15 (2-3) (2002)
Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
On the Evaluation of Indexing Techniques for Theorem Proving. IJCAR (2001)
Bijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach
First-Order Atom Definitions Extended. LPAR (2001)
Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner
System Description: Waldmeister - Improvements in Performance and Ease of Use. CADE (1999)
Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner
WALDMEISTER - High-Performance Equational Deduction. J. Autom. Reason. 18 (2) (1997)
Thomas Hillenbrand, Arnim Buch, Roland Fettig
On Gaining Efficiency in Completion-Based Theorem Proving. RTA (1996)
Arnim Buch, Thomas Hillenbrand, Roland Fettig
WALDMEISTER: High Performance Equational Theorem Proving. DISCO (1996)