Ernst Althaus Alexander Bockmayr Matthias Elf Michael Jünger Thomas Kasper Kurt Mehlhorn SCIL - Symbolic Constraints in Integer Linear Programming. 75-87 2002 conf/esa/2002 ESA http://link.springer.de/link/service/series/0558/bibs/2461/24610075.htm db/conf/esa/esa2002.html#AlthausBEJKM02