Thomas Hillenbrand

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