Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Year | Title | Type | ||||
|---|---|---|---|---|---|---|---|---|
| 1 |
| | ||||||
| 5 |
| | ||||||
| 6 |
| | ||||||
| | 1997 | PLAM: ProLog and Algebraic Modelling In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | Proceedings Article | | |||
| 1996 | 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 | 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 | Pseudo-Boolean Constraint Logic Programming In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53 | Journal Article | | |||||
| | 1994 | Global Consistency in CLP($\cal PB$) In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | Proceedings Article | | |||
| 1993 | Solving 0-1 Problems in CLP($\cal PB$) In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | Proceedings Article | | |||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 5 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 2 |
| | ||||||
| 1 |
| | ||||||
| 2 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 6 |
| | ||||||
| 2 |
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)