SCIL – symbolic constraints in integer linear programming (2002)

by E Althaus, A Bockmayr, M Elf, M Jünger, T Kasper, K Mehlhorn