| | 1998 | [Barth, Peter]
Bockmayr, Alexander | | | Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | Journal Article | |
| | 1996 | Bockmayr, Alexander
Barth, Peter
Kasper, Thomas | [Steinbach, B.] | | Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109 | Proceedings Article | |
| | 1995 | Barth, Peter
Bockmayr, Alexander | Sterling, Leon | | Finite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147 | Proceedings Article | |
| | 1995 | Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph | Dreschler-Fischer, Leonie
Pribbenow, Simone | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Proceedings Article | |
| | 1994 | Barth, Peter
Bockmayr, Alexander | | | Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | Proceedings Article | |