SCIL
From MaRDI portal
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
- TSPTW
- Valse-XT
- Cardinal
- SIMPL
- CuSPLIB
- cc(FD)
- Combinatorial optimization with one quadratic term: spanning trees and forests
- Constraint Integer Programming: A New Approach to Integrate CP and MIP
- SCIP: solving constraint integer programs
- A branch-and-cut algorithm for multiple sequence alignment
This page was built for software: SCIL
