SCIP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Decomposition, reformulation, and diving in university course timetabling
- LP-oriented upper bounds for the weighted stability number of a graph
- Feasibility pump 2.0
- ALPS
- BARON
- FATCOP
- gmp
- KNITRO
- MADAM
- GAMS.jl
- resite_ip
- ChvatalIP
- Exact SCIP
- nauty
- Normaliz
- Paramils
- polymake
- Delaunay.jl
- NCNBD.jl
- SMAC3
- BASBLib
- BASBL
- Tenscalc
- MindtPy
- windpowerlib
- RecurJac
- HiGHS
- SeaPearl
- PaPILO
- CAPOPT
- ACVIZ
- HHBQP
- GANAK
- Sageopt
- RACQP
- Stand_and_Adapt_Bend
- SNDlib
- TSPLIB
- SCIL
- LaGO
- TOPOS
- PICO
- GLOPTLAB
- CONOPT
- ABACUS
- COMET
- CHIP
- UG
- The Schläfli Fan
- Constraint programming and operations research
- AMPL
- Algorithmic innovations and software for the dual decomposition method applied to stochastic mixed-integer programs
- A hybrid LP/NLP paradigm for global optimization relaxations
- SoPlex
- Zimpl
- SteinLib
- MIPLIB
- CPLEX
- OGDF
- Gurobi
- LiQuor
- OR-Library
- A group analysis using the multiregression dynamic models for fMRI networked time series
- Branch-and-cut for linear programs with overlapping SOS1 constraints
- A robust and scalable algorithm for the Steiner problem in graphs
- Grid parallelizing of discrete optimization problems with quasi-block structure matrices
- GeoSteiner
- A global MINLP approach to symbolic regression
- Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations
- Theoretical challenges towards cutting-plane selection
- A column generation approach for the location-routing problem with time windows
- SelfSplit parallelization for mixed-integer linear programming
- Couenne
- Packing unequal rectangles and squares in a fixed size circular container using formulation space search
- A decision-making tool for energy efficiency optimization of street lighting
- RealPaver
- Weighted quadrature rules via Grüss type inequalities for weighted \(L^{p}\) spaces
- On decomposability of multilinear sets
- Cbc
- cddplus
- Solving MIPs via scaling-based augmentation
- LINDO
- Piecewise parametric structure in the pooling problem: from sparse strongly-polynomial solutions to NP-hardness
- Global optimization algorithm for capacitated multi-facility continuous location-allocation problems
- A computational study of global optimization solvers on two trust region subproblems
- A customized branch-and-bound approach for irregular shape nesting
- GLPK
- Guided dive for the spatial branch-and-bound
- MINTO
- CEGAR
- COIN-OR
- Benchmarks for Optimization Software
- A branch and bound algorithm for nonconvex quadratic optimization with ball and linear constraints
- azove
- Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances
- The daily tail assignment problem under operational uncertainty using look-ahead maintenance constraints
- GLOBALLib
- Virtuous smoothing for global optimization
- Realizability and inscribability for simplicial polytopes via nonlinear optimization
- An abstract model for branching and its application to mixed integer programming
This page was built for software: SCIP
