# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| Avenhaus, Jürgen |
| |
4 |
| |
1 |
| Baader, Franz |
| |
9 |
| |
1 |
| Bachem, A. (ed.) |
| |
20 |
| |
1 |
| Bachmair, Leo (ed.) |
| |
1 |
| |
3 |
| Backes, Werner |
| |
3 |
| |
1 |
| Balbiani, Philippe (ed.) |
| |
1 |
| |
1 |
| Ball, Thomas (ed.) |
| |
2 |
| |
1 |
| Baral, C. (ed.) |
| |
2 |
| |
1 |
| Barnett, Richard |
| |
1 |
| |
14 |
| Barth, Peter |
| |
| | 1998 | [Barth, Peter]
Bockmayr, Alexander | | Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | Journal Article | |
| | 1997 | Barth, Peter
Bockmayr, Alexander | | PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | Proceedings Article | |
| | 1996 | Bockmayr, Alexander
Barth, Peter
Kasper, Thomas | | Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109 | Proceedings Article | |
| | 1996 | Barth, Peter
Bockmayr, Alexander | | Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9 | Proceedings Article | |
| | 1995 | Barth, Peter
Bockmayr, Alexander | | 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 | | Logic-based 0-1 constraint programming | Book | |
| | 1995 | Barth, Peter | | Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany | Thesis - PhD thesis | |
| | 1995 | Barth, Peter
Bockmayr, Alexander | | Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53 | Journal Article | |
| | 1995 | Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph | | 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 | |
| | 1994 | Barth, Peter | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Proceedings Article | |