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