swMATH1099MaRDI QIDQ13842FDOQ13842
Author name not available (Why is that?)
Official website: http://www.mpi-inf.mpg.de/SCIL/
Cited In (15)
- An algorithm-independent measure of progress for linear constraint propagation
- Constraint programming and operations research
- Improved filtering for weighted circuit constraints
- Detecting semantic groups in MIP models
- Gallai-Edmonds decomposition as a pruning technique
- Constraint Integer Programming: A New Approach to Integrate CP and MIP
- Combinatorial optimization with one quadratic term: spanning trees and forests
- TSPTW
- Valse-XT
- Cardinal
- SIMPL
- CuSPLIB
- cc(FD)
- SCIP: solving constraint integer programs
- A branch-and-cut algorithm for multiple sequence alignment
This page was built for software: SCIL
