Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
4 |
| |||||||||
1998 | Bockmayr, Alexander Kasper, Thomas | Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming In: INFORMS Journal on Computing [10], 287-300 | Journal Article | |||||||
1998 | Kasper, Thomas | A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming Universität des Saarlandes | Thesis - PhD thesis | |||||||
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 | ||||||
1996 | Bockmayr, Alexander Kasper, Thomas | [Geske, Ulrich] [Simonis, Helmut] | Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study In: Deklarative Constraint Programmierung, 29-41 | Proceedings Article | ||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
6 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
4 |
| |||||||||
7 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2 |
|