The SCIP Optimization Suite 9.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 (CIP) framework SCIP. This report discusses the enhancements and extensions included in the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bug fixes. The SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces for SCIP, new Python interface for SoPlex, along with enhancements to existing interfaces. The SCIP Optimization Suite 9.0 also includes new and improved features in the LP solver SoPlex, the presolving library PaPILO, the parallel framework UG, the decomposition framework GCG, and the SCIP extension SCIP-SDP. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver.
Key facts. Cited by 37 papers in the map (data through 7 Oct 2026). First posted on arXiv 27 Feb 2024.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2024: 15; 2025: 13; 2026: 9.
37 papers.
Sort:
By area:
- 2024To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planningcited by 21
- 2024Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programmingcited by 12
- 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generationcited by 11
- 2024Personalized Federated Fine-Tuning for LLMs via Data-Driven Heterogeneous Model Architecturescited by 10
- 2024Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusioncited by 8
- 2025Reinforced Generation of Combinatorial Structures: Hardness of Approximationcited by 8
- 2024Tackling Prevalent Conditions in Unsupervised Combinatorial Optimization: Cardinality, Minimum, Covering, and Morecited by 6
- 2024Multi-task Representation Learning for Mixed Integer Linear Programmingcited by 6
- 2024Who's Gaming the System? A Causally-Motivated Approach for Detecting Strategic Adaptationcited by 5
- 2026LAER-MoE: Load-Adaptive Expert Re-layout for Efficient Mixture-of-Experts Trainingcited by 5
- 2024Learning Solution-Aware Transformers for Efficiently Solving Quadratic Assignment Problemcited by 4
- 2024Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problemcited by 4
25 more
- 2025SparseSwaps: Tractable LLM Pruning Mask Refinement at Scalecited by 4
- 2025Route Recommendations for Traffic Management Under Learned Partial Driver Compliancecited by 2
- 2025MathOptAI.jl: Embed trained machine learning predictors into JuMP modelscited by 2
- 2026ReLibra: Routing-Replay-Guided Load Balancing for MoE Training in Reinforcement Learningcited by 2
- 2024ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimizationcited by 1
- 2024Safe Load Balancing in Software-Defined-Networkingcited by 1
- 2025Code Retrieval for MILP Instance Generationcited by 1
- 2025ParBalans: Parallel Multi-Armed Bandits-based Adaptive Large Neighborhood Searchcited by 1
- 2025Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approachcited by 1
- 2025Learning to Condition: A Neural Heuristic for Scalable MPE Inferencecited by 1
- 2026A General Neural Backbone for Mixed-Integer Linear Optimization via Dual Attentioncited by 1
- 2026AutoOR: Scalably Post-training LLMs to Autoformulate Operations Research Problemscited by 1
- 2026Beyond Scalar Sensitivity: Activation-Aware Mixed-Precision LLM Quantization with Cross-Layer Refinementcited by 1
- 2024Structure-preserving Planar Simplification for Indoor Environmentscited by 0
- 2024Learn2Aggregate: Supervised Generation of Chv'atal-Gomory Cuts Using Graph Neural Networkscited by 0
- 2024Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activationscited by 0
- 2024Logic-Constrained Shortest Paths for Flight Planningcited by 0
- 2025Ride-pool Assignment Algorithms: Modern Implementation and Swapping Heuristicscited by 0
- 2025On the Efficiency of Training Robust Decision Treescited by 0
- 2025HyP-ASO: A Hybrid Policy-based Adaptive Search Optimization Framework for Large-Scale Integer Linear Programscited by 0
- 2025OptiMA: A Transaction-Based Framework with Throughput Optimization for Very Complex Multi-Agent Systemscited by 0
- 2026Accounting for Optimal Control in the Sizing of Isolated Hybrid Renewable Energy Systems Using Imitation Learningcited by 0
- 2026Makespan Minimization in Split Learning: From Theory to Practicecited by 0
- 2026A Study of Parallel Continuous Local Searchcited by 0
- 2026ILP-BO: Integer Linear Programming-Based Black-Box Optimizationcited by 0
- 2026ILP-BO: Integer Linear Programming-Based Black-Box Optimization27 Sep 2026
- 2026Beyond Scalar Sensitivity: Activation-Aware Mixed-Precision LLM Quantization with Cross-Layer Refinement22 Sep 2026
- 2026A Study of Parallel Continuous Local Search4 Jun 2026
- 2026ReLibra: Routing-Replay-Guided Load Balancing for MoE Training in Reinforcement Learning9 May 2026
- 2026AutoOR: Scalably Post-training LLMs to Autoformulate Operations Research Problems18 Apr 2026
- 2026LAER-MoE: Load-Adaptive Expert Re-layout for Efficient Mixture-of-Experts Training12 Feb 2026
- 2026Makespan Minimization in Split Learning: From Theory to Practice6 Feb 2026
- 2026A General Neural Backbone for Mixed-Integer Linear Optimization via Dual Attention8 Jan 2026
- 2026Accounting for Optimal Control in the Sizing of Isolated Hybrid Renewable Energy Systems Using Imitation Learning7 Jan 2026
- 2025SparseSwaps: Tractable LLM Pruning Mask Refinement at Scale11 Dec 2025
- 2025OptiMA: A Transaction-Based Framework with Throughput Optimization for Very Complex Multi-Agent Systems5 Nov 2025
- 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation30 Sep 2025
25 more
- 2025Learning to Condition: A Neural Heuristic for Scalable MPE Inference22 Sep 2025
- 2025Reinforced Generation of Combinatorial Structures: Hardness of Approximation22 Sep 2025
- 2025HyP-ASO: A Hybrid Policy-based Adaptive Search Optimization Framework for Large-Scale Integer Linear Programs19 Sep 2025
- 2025Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach9 Aug 2025
- 2025ParBalans: Parallel Multi-Armed Bandits-based Adaptive Large Neighborhood Search8 Aug 2025
- 2025On the Efficiency of Training Robust Decision Trees14 Jul 2025
- 2025MathOptAI.jl: Embed trained machine learning predictors into JuMP models3 Jul 2025
- 2025Code Retrieval for MILP Instance Generation11 May 2025
- 2025Ride-pool Assignment Algorithms: Modern Implementation and Swapping Heuristics14 Apr 2025
- 2025Route Recommendations for Traffic Management Under Learned Partial Driver Compliance3 Apr 2025
- 2024Multi-task Representation Learning for Mixed Integer Linear Programming18 Dec 2024
- 2024Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problem18 Dec 2024
- 2024Logic-Constrained Shortest Paths for Flight Planning17 Dec 2024
- 2024Who's Gaming the System? A Causally-Motivated Approach for Detecting Strategic Adaptation2 Dec 2024
- 2024Personalized Federated Fine-Tuning for LLMs via Data-Driven Heterogeneous Model Architectures28 Nov 2024
- 2024Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations30 Oct 2024
- 2024Safe Load Balancing in Software-Defined-Networking22 Oct 2024
- 2024To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planning21 Oct 2024
- 2024Learn2Aggregate: Supervised Generation of Chv'atal-Gomory Cuts Using Graph Neural Networks10 Sep 2024
- 2024Structure-preserving Planar Simplification for Indoor Environments13 Aug 2024
- 2024ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization31 Jul 2024
- 2024Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusion18 Jun 2024
- 2024Learning Solution-Aware Transformers for Efficiently Solving Quadratic Assignment Problem14 Jun 2024
- 2024Tackling Prevalent Conditions in Unsupervised Combinatorial Optimization: Cardinality, Minimum, Covering, and More14 May 2024
- 2024Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming19 Apr 2024
- 2024To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planningcited by 21
- 2024Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programmingcited by 12
- 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generationcited by 11
- 2024Personalized Federated Fine-Tuning for LLMs via Data-Driven Heterogeneous Model Architecturescited by 10
- 2025Reinforced Generation of Combinatorial Structures: Hardness of Approximationcited by 8
- 2024Tackling Prevalent Conditions in Unsupervised Combinatorial Optimization: Cardinality, Minimum, Covering, and Morecited by 6
- 2024Multi-task Representation Learning for Mixed Integer Linear Programmingcited by 6
- 2024Who's Gaming the System? A Causally-Motivated Approach for Detecting Strategic Adaptationcited by 5
- 2024Learning Solution-Aware Transformers for Efficiently Solving Quadratic Assignment Problemcited by 4
- 2024Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problemcited by 4
- 2025SparseSwaps: Tractable LLM Pruning Mask Refinement at Scalecited by 4
- 2025Route Recommendations for Traffic Management Under Learned Partial Driver Compliancecited by 2
12 most cited of 34 All 34 (JSON)
- 2026ILP-BO: Integer Linear Programming-Based Black-Box Optimization27 Sep 2026
- 2026Beyond Scalar Sensitivity: Activation-Aware Mixed-Precision LLM Quantization with Cross-Layer Refinement22 Sep 2026
- 2026A Study of Parallel Continuous Local Search4 Jun 2026
- 2026AutoOR: Scalably Post-training LLMs to Autoformulate Operations Research Problems18 Apr 2026
- 2026Makespan Minimization in Split Learning: From Theory to Practice6 Feb 2026
- 2026A General Neural Backbone for Mixed-Integer Linear Optimization via Dual Attention8 Jan 2026
- 2026Accounting for Optimal Control in the Sizing of Isolated Hybrid Renewable Energy Systems Using Imitation Learning7 Jan 2026
- 2025SparseSwaps: Tractable LLM Pruning Mask Refinement at Scale11 Dec 2025
- 2025OptiMA: A Transaction-Based Framework with Throughput Optimization for Very Complex Multi-Agent Systems5 Nov 2025
- 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation30 Sep 2025
- 2025Learning to Condition: A Neural Heuristic for Scalable MPE Inference22 Sep 2025
- 2025Reinforced Generation of Combinatorial Structures: Hardness of Approximation22 Sep 2025
12 newest of 34 All 34 (JSON)