MPI-INF Logo

MPI-INF D1 Publications

Search the publication database
.
Return

Your search returned the following document:

  1. SCIL - Symbolic Constraints in Integer Linear Programming.
    Ernst Althaus, Alexander Bockmayr, Matthias Elf, Thomas Kasper, Michael J√ľnger, and Kurt Mehlhorn
    In: Algorithms - ESA 2002 : 10th Annual European Symposium, Rom, Italy, 2002, 75-87