SCIL
From MaRDI portal
Software:13842
swMATH1099MaRDI QIDQ13842FDOQ13842
Author name not available (Why is that?)
Cited In (9)
- An algorithm-independent measure of progress for linear constraint propagation
- Constraint programming and operations research
- Improved filtering for weighted circuit constraints
- 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
- Detecting Semantic Groups in MIP Models
- SCIP: solving constraint integer programs
- A branch-and-cut algorithm for multiple sequence alignment
This page was built for software: SCIL
