Enabling Research through the SCIP Optimization Suite 8.0
Not on the map. Why?
Abstract (arXiv)
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP's application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon SCIP.
Key facts. Cited by 13 papers in the map (data through 7 Oct 2026). First posted on arXiv 13 Mar 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 3; 2024: 7; 2025: 2; 2026: 1.
13 papers.
Sort:
By area:
- 2024Verifying message-passing neural networks via topology-based bounds tighteningcited by 10
- 2023PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programscited by 8
- 2024Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusioncited by 8
- 2024Learning to Remove Cuts in Integer Linear Programmingcited by 4
- 2023Graph-SCP: Accelerating Set Cover Problems with Graph Neural Networkscited by 2
- 2024Formally Verified Approximate Policy Iterationcited by 1
- 2024An information-matching approach to optimal experimental design and active learningcited by 1
- 2023A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programmingcited by 0
- 2024A Penalty-Based Guardrail Algorithm for Non-Decreasing Optimization with Inequality Constraintscited by 0
- 2024Asteroid Mining: ACT&Friends' Results for the GTOC 12 Problemcited by 0
- 2025Similarity-based fuzzy clustering scientific articles: potentials and challenges from mathematical and computational perspectivescited by 0
- 2025Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testingcited by 0
1 more
- 2026Distribution-Aware Algorithm Design with LLM Agentscited by 0
- 2026Distribution-Aware Algorithm Design with LLM Agents13 May 2026
- 2025Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing21 Oct 2025
- 2025Similarity-based fuzzy clustering scientific articles: potentials and challenges from mathematical and computational perspectives4 Jun 2025
- 2024An information-matching approach to optimal experimental design and active learning5 Nov 2024
- 2024Asteroid Mining: ACT&Friends' Results for the GTOC 12 Problem28 Oct 2024
- 2024Learning to Remove Cuts in Integer Linear Programming26 Jun 2024
- 2024Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusion18 Jun 2024
- 2024Formally Verified Approximate Policy Iteration11 Jun 2024
- 2024A Penalty-Based Guardrail Algorithm for Non-Decreasing Optimization with Inequality Constraints3 May 2024
- 2024Verifying message-passing neural networks via topology-based bounds tightening21 Feb 2024
- 2023PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs13 Dec 2023
- 2023Graph-SCP: Accelerating Set Cover Problems with Graph Neural Networks12 Oct 2023
1 more
- 2026Distribution-Aware Algorithm Design with LLM Agentscited by 0
- 2026Distribution-Aware Algorithm Design with LLM Agents13 May 2026
- 2024Verifying message-passing neural networks via topology-based bounds tighteningcited by 10
- 2023PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programscited by 8
- 2024Learning to Remove Cuts in Integer Linear Programmingcited by 4
- 2023Graph-SCP: Accelerating Set Cover Problems with Graph Neural Networkscited by 2
- 2024Formally Verified Approximate Policy Iterationcited by 1
- 2024An information-matching approach to optimal experimental design and active learningcited by 1
- 2023A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programmingcited by 0
- 2024A Penalty-Based Guardrail Algorithm for Non-Decreasing Optimization with Inequality Constraintscited by 0
- 2024Asteroid Mining: ACT&Friends' Results for the GTOC 12 Problemcited by 0
- 2025Similarity-based fuzzy clustering scientific articles: potentials and challenges from mathematical and computational perspectivescited by 0
- 2025Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testingcited by 0
- 2025Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing21 Oct 2025
- 2025Similarity-based fuzzy clustering scientific articles: potentials and challenges from mathematical and computational perspectives4 Jun 2025
- 2024An information-matching approach to optimal experimental design and active learning5 Nov 2024
- 2024Asteroid Mining: ACT&Friends' Results for the GTOC 12 Problem28 Oct 2024
- 2024Learning to Remove Cuts in Integer Linear Programming26 Jun 2024
- 2024Formally Verified Approximate Policy Iteration11 Jun 2024
- 2024A Penalty-Based Guardrail Algorithm for Non-Decreasing Optimization with Inequality Constraints3 May 2024
- 2024Verifying message-passing neural networks via topology-based bounds tightening21 Feb 2024
- 2023PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs13 Dec 2023
- 2023Graph-SCP: Accelerating Set Cover Problems with Graph Neural Networks12 Oct 2023
- 2023A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming14 Jul 2023