SCIP
Solving Constraint Integer Programs
How to use ...
- Conflict analysis
- How to run automated tests with SCIP
- How to use SCIP to count feasible solutions
- How to use reoptimization in SCIP
- How to use the concurrent solving mode in SCIP
- How to provide a problem decomposition
- How to use the Benders' decomposition framework
- How to train custom tree size estimation for SCIP