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

Publications Master Template, generated: 3:52, 16 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Computing Finite Models by Reduction to Function-Free Clause Logic
    In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
  2. Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Implementing the Model Evolution Calculus
    International Journal on Artificial Intelligence Tools 15 (1): 21-52, 2006
  3. Peter Baumgartner and Cesare Tinelli
    The Model Evolution Calculus with Equality
    In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 392-408
  4. Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Darwin: A Theorem Prover for the Model Evolution Calculus
    In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), Cork, Ireland, 2004, 1-24
  5. Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli
    DPLL(T): Fast Decision Procedures
    In: Computer aided verification : 16th International Conference, CAV 2004, Boston, Massachusetts, 2004, 175-188