SCIL -- symbolic constraints in integer linear programming

DOI10.1007/3-540-45749-6_11MaRDI QIDQ4411347zbMATH OpenFDO

Authors Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, K. Mehlhorn

Publication date 8 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2461/24610075.htm, http://e-archive.informatik.uni-koeln.de/437/2/zaik2002-437.pdf

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Integer programming (90C10) Combinatorial optimization (90C27) Programming involving graphs or networks (90C35)

Recommendations

• SCIP: solving constraint integer programs
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
• scientific article; zbMATH DE number 7124428
• A software for the integer linear programming
• Constraint Integer Programming: A New Approach to Integrate CP and MIP

Cited in

(9)

• SCIL
• Constraint programming and operations research
• An algorithm-independent measure of progress for linear constraint propagation
• Submodular formulations for range assignment problems
• Gallai-Edmonds decomposition as a pruning technique
• Partitioning planar graphs: a fast combinatorial approach for max-cut
• Improved filtering for weighted circuit constraints
• Constraint Integer Programming: A New Approach to Integrate CP and MIP
• SCIP: solving constraint integer programs

This page was built for publication: SCIL -- symbolic constraints in integer linear programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411347)