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

Publications Master Template, generated: 1:56, 19 September 2019

Search the publication database

  . Return

Your search returned the following 14 documents:

  1. Peter Barth and Alexander Bockmayr
    Modelling Discrete Optimisation Problems in Constraint Logic Programming
    Annals of Operations Research 81: 467-496, 1998
  2. Peter Barth and Alexander Bockmayr
    PLAM: ProLog and Algebraic Modelling
    In: Proceedings of the 5th International Conference on the Practical Application of Prolog, London, UK, 22-24 April 1997, 1997, 73-82
  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. Peter Barth and Alexander Bockmayr
    Modelling 0-1 Problems in CLP($\cal PB$)
    In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, London, UK, 24th - 26th April 1996, 1996, 1-9
  5. Peter Barth and Alexander Bockmayr
    Finite domain and cutting plane techniques in CLP($\cal PB$)
    In: Proceedings of the Twelfth International Conference on Logic Programming, Shonan Village Center, Hayama-Machi, Kanagawa, Japan, June 1995, 1995, 133-147
  6. Peter Barth
    Logic-based 0-1 constraint programming
    , Kluwer, Boston, 1995, 272 p.
  7. Peter Barth
    Logic-based 0-1 Constraint Solving in Constraint Logic Programming
    Doctoral dissertation, Fachbereich Informatik, Universität des Saarlandes, Germany, 1995
  8. Peter Barth and Alexander Bockmayr
    Pseudo-Boolean Constraint Logic Programming
    Computational Logic. The Newsletter of the European Network in Computational Logic 2 (2): 52-53, 1995
  9. Peter Barth, Hans Kleine B√ľning, and Christoph Weidenbach
    Workshop CPL Computational Propositional Logic
    In: KI-95 Activities: Workshops, Posters, Demos, Bielefeld, Germany, September, 11-13, 1995, 71-72
  10. Peter Barth and Alexander Bockmayr
    Global Consistency in CLP($\cal PB$)
    In: Proceedings of the 10th Workshop Logic Programming WLP'94, Zurich, 1994, 4 p.
  11. Peter Barth
    Simplifying Clausal Satisfiability Problems
    In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), Munich, Germany, September 7-9, 1994, 1994, 19-33
  12. Peter Barth
    A Complete Symbolic 0-1 Constraint Solver
    In: 3rd Workshop on Constraint Logic Programming (WCLP '93), Marseille, France, 1993, 1993
  13. Peter Barth
    Linear 0-1 Inequalities and Extended Clauses
    In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, St. Petersburg, Russia, 1993, 1993, 40-51
  14. Peter Barth and Alexander Bockmayr
    Solving 0-1 Problems in CLP($\cal PB$)
    In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), Orlando, FL, 1993, 1993, 263-269