| 2002 | ||
|---|---|---|
| 3 | Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn: SCIL - Symbolic Constraints in Integer Linear Programming. ESA 2002: 75-87 | |
| 1999 | ||
| 2 | Alexander Bockmayr, Thomas Kasper: Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC 1999: 141-142 | |
| 1998 | ||
| 1 | Alexander Bockmayr, Thomas Kasper: Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing 10(3): 287-300 (1998) | |
| 1 | Ernst Althaus | [3] |
| 2 | Alexander Bockmayr | [1] [2] [3] |
| 3 | Matthias Elf | [3] |
| 4 | Michael Jünger | [3] |
| 5 | Kurt Mehlhorn | [3] |