
ACCPM
 Referenced in 58 articles
[sw06707]
 code is an implementation of the cutting plane method. Instead of solving every relaxed master...

AlphaECP
 Referenced in 39 articles
[sw04940]
 solver based on the extended cutting plane (ECP) method. The solver can be applied ... extension of Kelley’s cutting plane method which was originally given for convex NLP problems ... Kelley, 1960). The method requires only the solution of a MIP sub problem in each ... Convex Mixed Integer Optimization Problems by Cutting Plane Techniques. Optimization and Engineering...

DIP
 Referenced in 11 articles
[sw09870]
 Wolfe decomposition, Lagrangian relaxation, and various cutting plane methods. Given a compact formulation ... decompositionbased algorithms, such as branch and cut, branch and price, branch...

Pueblo
 Referenced in 29 articles
[sw00743]
 This paper introduces a new hybrid method for efficiently integrating PseudoBoolean (PB) constraints into ... achieve this, we adopt the cuttingplane technique to draw inferences among PB constraints ... learned PB constraints are introduced. Overall, our method benefits significantly from the pruning power...

ALIBABA
 Referenced in 1 article
[sw00028]
 original problem. First, Kristers LU method is presented and it is shown how his algorithm ... step line search algorithm and/or the cutting plane method. Secondly, a simple algorithm for optimization...

DSP
 Referenced in 1 article
[sw05421]
 present algorithmic innovations for the dual decomposition method to address twostage stochastic programs with ... innovations include the incorporation of Benderslike cuts in a dual decomposition framework to tighten ... also use an interiorpoint cuttingplane method with new termination criteria for solving...

FHIgap
 Referenced in 1 article
[sw10804]
 electron augmented plane wave method. The GWGW method has become the state ... valence electrons are treated explicitly. The pseudopotential method can be problematic for systems with localized ... linearized augmented planewave plus local orbital (LAPW) method. The FHIgap code can handle core ... results with respect to various cutoff parameters. These include the size of the basis...

BARON
 Referenced in 265 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 100 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 304 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 132 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 562 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1499 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 179 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

GAP
 Referenced in 2392 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gerris
 Referenced in 195 articles
[sw00341]
 Gerris is a Free Software program for the...

gmp
 Referenced in 231 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 523 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1499 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 237 articles
[sw00509]
 In the core computer science areas  data structures...