Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
4 |
| ||||||||
1998 | Kasper, Thomas | A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming Universität des Saarlandes | Thesis - PhD thesis | ||||||
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 | ||||||
1996 | Bockmayr, Alexander Barth, Peter Kasper, Thomas | Methods and Tools for Pseudo-Boolean Problems In: 2. Workshop Boolesche Probleme, 105-109 | Proceedings Article | ||||||
1996 | Bockmayr, Alexander Kasper, Thomas | 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 |
|
Previous Page | Next Page |