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

Publications Master Template, generated: 1:02, 20 January 2020

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Andreas Podelski and Gert Smolka
    Situated Simplification
    In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, France, September, 1995, 328-344
  2. Stefan Ratschan
    Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
    In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003, 2003, 615-633