• 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 ... decomposition-based 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 Pseudo-Boolean (PB) constraints into ... achieve this, we adopt the cutting-plane 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 two-stage stochastic programs with ... innovations include the incorporation of Benders-like cuts in a dual decomposition framework to tighten ... also use an interior-point cutting-plane method with new termination criteria for solving...
  • FHI-gap

  • 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 FHI-gap code can handle core ... results with respect to various cut-off 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...