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

Publications Master Template, generated: 5:36, 22 September 2019

Search the publication database

  . Return

Your search returned the following 37 documents:

  1. Alexander Bockmayr and Friedrich Eisenbrand
    Cutting planes and the elementary closure in fixed dimension
    Mathematics of Operations Research 26 (2): 304-312, 2001
  2. Alexander Bockmayr and V. Weispfenning
    Solving numerical constraints
    In: Handbook of Automated Reasoning, 2001, 751-842
  3. Friedrich Eisenbrand and Alexander Bockmayr
    Combining logic and optimization in cutting plane theory
    In: Proceedings of the Workshop on Frontiers of Combining Systems (FROCOS-2000), Nancy, France, March 22-24, 2000, 1-17
  4. Alexander Bockmayr, Friedrich Eisenbrand, Mark Hartmann, and Andreas S. Schulz
    On the Chvátal Rank of Polytopes in the 0/1 Cube
    Discrete Applied Mathematics 98 (1/2): 21-27, 1999
  5. 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
  6. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to realize LSE narrowing
    New Generation Computing 16 (4): 397-434, 1998
  7. Alexander Bockmayr and Yannis Dimopoulos
    Mixed Integer Programming Models for Planning Problems
    In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), Pisa, Italy, October, 30, 1998, 1-6
  8. Peter Barth and Alexander Bockmayr
    Modelling Discrete Optimisation Problems in Constraint Logic Programming
    Annals of Operations Research 81: 467-496, 1998
  9. 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
  10. Alexander Bockmayr
    Constraints in functional logic programming (Abstract)
    In: Integration of functional and logic languages, Schloss Dagstuhl, Germany, 20.05.-24.05.96, 1996, 4 p.
  11. Alexander Bockmayr
    Gleichheit und Constraints in der Logikprogrammierung
    Habilitation thesis, Universität des Saarlandes, 1996
  12. 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
  13. 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
  14. 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
  15. 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
  16. Alexander Bockmayr and Andreas Werner
    LSE narrowing for decreasing conditional term rewrite systems
    In: Conditional Term Rewriting Systems CTRS'94, Jerusalem, Israel, July 1994, 1995, 51-70
  17. Alexander Bockmayr, Stefan Krischer, and Andreas Werner
    Narrowing strategies for arbitrary canonical systems
    Fundamenta Informaticae 24 (1,2): 125-155, 1995
  18. 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
  19. Alexander Bockmayr
    Solving pseudo-Boolean constraints
    In: Constraint Programming: Basics and Trends, Châtillon-sur-Seine, May 1994, 1995, 22-38
  20. Alexander Bockmayr
    Cutting planes in constraint logic programming (Abstract)
    In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January 2-5, 1994, 1994
  21. 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.
  22. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to realize LSE narrowing
    In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), Madrid, Spain, September 14-16, 1994, 1994, 59-76
  23. Alexander Bockmayr
    Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract)
    In: Operations Research '93, 18th Symposium on Operations Research, Köln, September 1-3, 1993, 1994, 47-49
  24. Alexander Bockmayr
    0-1 Constraints and 0-1 Optimization
    In: 3rd Workshop on Constraint Logic Programming (WCLP '93), Marseille, France, 1993
  25. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    A Concept for the Implementation of LSE Narrowing
    In: 9.~Workshop Logische Programmierung, Hagen, 1993
  26. Alexander Bockmayr
    Conditional Narrowing Modulo a Set of Equations
    Applicable Algebra in Engineering, Communication and Computing 4 (3): 147-168, 1993
  27. Alexander Bockmayr
    Embedding OR Techniques in Constraint Logic Programming
    In: Operations Research '92. 17th Symposium on Operations Research, Hamburg, Germany, 1993, 252-254
  28. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to Realize LSE Narrowing
    Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, 6/93
  29. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to Realize LSE Narrowing
    In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, Rattenberg, 1993
  30. Alexander Bockmayr and F. J. Radermacher
    Künstliche Intelligenz und Operations Research
    In: Grundlagen und Anwendungen der Künstlichen Intelligenz. 17. Fachtagung für Künstliche Intelligenz, Berlin, Germany, 1993, 249-254
  31. Alexander Bockmayr
    Logic Programming with Pseudo-Boolean Constraints
    In: Constraint Logic Programming---Selected Research, 1993, 327-350. Note: Also available as Research Report MPI-I-91-227
  32. 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
  33. Alexander Bockmayr
    A Theoretical Basis for Constraint Logic and Functional Programming
    In: Proc.~1st African Conference on Research in Computer Science, Yaoundé, Cameroun, 1992, 793-804
  34. Alexander Bockmayr
    Algebraic and Logical Aspects of Unification
    In: Proc.~1st Workshop on Word Equations and Related Topics, Tübingen, Germany, 1992, 171-180
  35. Alexander Bockmayr
    Model-Theoretic Aspects of Unification
    In: Proceedings of the 1st Workshop on Word Equations and Related Topics, Tübingen, Germany, 1992, 181-196
  36. Stefan Krischer and Alexander Bockmayr
    Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
    In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), Como, Italy, April 10-12, 1991, 74-85
  37. Alexander Bockmayr, C. Brzoska, P. Deussen, and I. Varsek
    KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung
    Informatik--Forschung und Entwicklung 6: 128-140, 1991