SCIL - Symbolic Constraints in Integer Linear Programming.

Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jnger, Thomas Kasper, Kurt Mehlhorn

Browse the full ESA paper archive.