Inria / Raweb 2004
Project-Team: MODBIO

Search in Activity Report, year 2004:


Project-Team : modbio

Section: Software

SCIL – Symbolic Constraints in Integer Linear Programming (ATIPE)

Participants: Ernst Althaus [correspondent], Alexander Bockmayr.

We designed a new software system SCIL that introduces symbolic constraints into branch-and-cut-and-price algorithms for integer linear programs [26]. Symbolic constraints are known from constraint programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint programming systems. More information can be found on the SCIL-homepage