SCIL
From MaRDI portal
Cited in
(15)- Constraint programming and operations research
- TSPTW
- Valse-XT
- Cardinal
- An algorithm-independent measure of progress for linear constraint propagation
- SIMPL
- A branch-and-cut algorithm for multiple sequence alignment
- Detecting semantic groups in MIP models
- CuSPLIB
- Gallai-Edmonds decomposition as a pruning technique
- cc(FD)
- Combinatorial optimization with one quadratic term: spanning trees and forests
- 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 software: SCIL
