2002 | ||
---|---|---|
2 | EE | 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 | ||
1 | Alexander Bockmayr, Thomas Kasper: Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC 1999: 141-142 |
1 | Ernst Althaus | [2] |
2 | Alexander Bockmayr | [1] [2] |
3 | Matthias Elf | [2] |
4 | Michael Jünger | [2] |
5 | Kurt Mehlhorn | [2] |