Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 6:30, 15 October 2019

Search the publication database

  . Return

Your search returned the following 18 documents:

  1. Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, and Christoph Weidenbach
    From Search to Computation: Redundancy Criteria and Simplification at Work
    In: Programming Logics, Essays in Memory of Harald Ganzinger, Saarbrücken, Germany, 2013
  2. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Bounded Domains
    In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 2013, 68-100
  3. Thomas Hillenbrand
    Superposition and Decision Procedures -- Back and Forth
    Doctoral dissertation, Universität des Saarlandes, 2008
    [PDF: Download: SupDec.pdf]
  4. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Finite Domains
    Max-Planck Institute for Informatics, Saarbruecken, MPI-I-2007-RG1-002, Research Report

  5. Christoph Weidenbach, Renate Schmidt, Thomas Hillenbrand, Rostislav Rusev, and Dalibor Topic
    System Description: Spass Version 3.0
    In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, 2007, 514-520

  6. Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
    Sudokus as Logical Puzzles
    In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 2-12
  7. Thomas Hillenbrand
    A Superposition View on Nelson-Oppen
    In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, 2004, 16-20
    [PS: Download: NOSup.ps]
  8. Thomas Hillenbrand
    Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
    In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, Valencia, Spain, June 12-14, 2003, 2003, 1-13
    [PS: Download: citius.ps]
  9. Jürgen Avenhaus, Thomas Hillenbrand, and Bernd Löchner
    On Using Ground Joinable Equations in Equational Theorem Proving
    Journal of Symbolic Computation 36 (1-2): 217-233, 2003
    [PS: Download: gjoin.ps]
  10. Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann
    Superposition modulo a Shostak Theory
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 182-196
    [PS: Download: _03CADE.2.ps]
  11. Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, and Hendrik Spies
    The New WALDMEISTER Loop at Work
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 317-321
    [PS: Download: pwm.ps]
  12. Bernd Löchner and Thomas Hillenbrand
    A Phytography of WALDMEISTER
    AI Communications 15 (2-3): 127-133, 2002

  13. Thomas Hillenbrand, Andreas Podelski, and Dalibor Topić
    Is Logic Effective for Analyzing C Programs?
    In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, 2002, 27-30
    [PS: Download: analysis.ps]
  14. Thomas Hillenbrand and Bernd Löchner
    The Next WALDMEISTER Loop
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 486-500
    [PS: Download: wmloop.ps]
  15. Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
    SPASS Version 2.0
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
    [PS: Download: spass2002.ps]
  16. Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
    First-Order Atom Definitions Extended
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
    [PS: Download: AtomFinal.ps]
  17. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, and Andrei Voronkov
    On the Evaluation of Indexing Techniques for Theorem Proving
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June, 18-22, 2001, 257-271
    [PS: Download: evaluation.ps]
  18. Thomas Hillenbrand and Bernd Löchner
    The Next WALDMEISTER Loop (Extended Abstract)
    In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, Havana, Cuba, December 8th, 2001, 13-21
    [PS: Download: next-wm-loop.ps]