# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
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 | 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 | |
| | 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 | | | 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
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 | |
| | 1994 | Barth, Peter | Jouannaud, Jean-Pierre | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Proceedings Article | |
| | 1993 | Barth, Peter | Benhamou, F.
Colmerauer, A.
Smolka, Gert | | A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Proceedings Article | |
| | 1993 | Barth, Peter
Bockmayr, Alexander | | | Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | Proceedings Article | |