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

AlphaECP
 Referenced in 44 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 12 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...

DSP
 Referenced in 2 articles
[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...

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...

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 288 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

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

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

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

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

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

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

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

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

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

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