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 use the Benders' decomposition framework