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

Publications Master Template, generated: 10:06, 26 January 2020

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Thomas Kasper
    A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
    Doctoral dissertation, Universit├Ąt des Saarlandes, 1998
  2. Alexander Bockmayr and Thomas Kasper
    Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
    INFORMS Journal on Computing 10 (3): 287-300, 1998
  3. Alexander Bockmayr, Peter Barth, and Thomas Kasper
    Methods and Tools for Pseudo-Boolean Problems
    In: 2. Workshop Boolesche Probleme, Freiberg, Sachsen, 19./20. September 1996, 1996, 105-109
  4. Alexander Bockmayr and Thomas Kasper
    Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
    In: Deklarative Constraint Programmierung, Dresden, Germany, 18.-19. September 1996, 1996, 29-41