Thomas Hillenbrand

According to our database, Thomas Hillenbrand authored at least 17 papers between 1996 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Superposition for Bounded Domains.

Thomas Hillenbrand, Christoph Weidenbach

Proceedings of the Automated Reasoning and Mathematics, 2013

From Search to Computation: Redundancy Criteria and Simplification at Work.

Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2007

System Description: SpassVersion 3.0.

Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic

Proceedings of the Automated Deduction, 2007

2004

A Superposition View on Nelson-Oppen.

Thomas Hillenbrand

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004

2003

On using ground joinable equations in equational theorem proving.

Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner

J. Symb. Comput., 2003

Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER.

Thomas Hillenbrand

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

Superposition Modulo a Shostak Theory.

Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

The New WALDMEISTER Loop at Work.

Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

A phytography of WALDMEISTER.

Bernd Löchner, Thomas Hillenbrand

AI Commun., 2002

S PASS Version 2.0.

Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, Dalibor Topic

Proceedings of the Automated Deduction, 2002

The Next W ALDMEISTER Loop.

Thomas Hillenbrand, Bernd Löchner

Proceedings of the Automated Deduction, 2002

2001

First-Order Atom Definitions Extended.

Bijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach

Proceedings of the Logic for Programming, 2001

On the Evaluation of Indexing Techniques for Theorem Proving.

Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999

System Description: Waldmeister - Improvements in Performance and Ease of Use.

Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner

Proceedings of the Automated Deduction, 1999

1997

WALDMEISTER - High-Performance Equational Deduction.

Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner

J. Autom. Reason., 1997

1996

On Gaining Efficiency in Completion-Based Theorem Proving.

Thomas Hillenbrand, Arnim Buch, Roland Fettig

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

WALDMEISTER: High Performance Equational Theorem Proving.

Arnim Buch, Thomas Hillenbrand, Roland Fettig

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996