Pith. sign in

REVIEW

Enabling Research through the SCIP Optimization Suite 8.0

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2303.07101 v1 pith:PQCQNKLE submitted 2023-03-13 math.OC

Ksenia Bestuzheva , Mathieu Besançon , Wei-Kun Chen , Antonia Chmiela , Tim Donkiewicz , Jasper van Doornmalen , Leon Eifler , Oliver Gaul
show 27 more authors
Gerald Gamrath Ambros Gleixner Leona Gottwald Christoph Graczyk Katrin Halbig Alexander Hoen Christopher Hojny Rolf van der Hulst Thorsten Koch Marco Lübbecke Stephen J. Maher Frederic Matter Erik Mühmer Benjamin Müller Marc E. Pfetsch Daniel Rehfeldt Steffan Schlein Franziska Schlösser Felipe Serrano Yuji Shinano Boro Sofranac Mark Turner Stefan Vigerske Fabian Wegscheider Philipp Wellner Dieter Weninger Jakob Witzig
This is my paper · ORCID
classification math.OC
keywords scipoptimizationdevelopmentsresearchsuiteframeworkfurtherlatest
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Pith tools