| # |  | Year | Author(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 | 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 | |
| | 1993 | Barth, Peter | | A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Proceedings Article | |
| | 1993 | Barth, Peter | | Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | Proceedings Article | |
