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

Publications Master Template, generated: 5:04, 23 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. Wolfgang Ahrendt, Peter Baumgartner, and Hans de Nivelle(Ed.)
    IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability
    , The 2006 Federated Logic Conference, Seattle, 2006
  3. Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
    Sudokus as Logical Puzzles
    In: Proceedings of the Third Workshop on Disproving, Seattle, USA, 2006, 2-12
  4. Hans de Nivelle and Stephan Schulz(Ed.)
    Proceedings of the 2nd International Workshop on the Implementation of Logics
    Research Report. , Max-Planck-Institut für Informatik, Saarbrücken, 2001
  5. 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]