• CirCut

  • Referenced in 42 articles [sw04782]
  • heuristics for MAX-CUT and other binary quadratic programs The Goemans--Williamson randomized algorithm guarantees ... well as other binary quadratic programs, for example the MAX-BISECTION problem.par A computer code...
  • Bubble-FOS/C

  • Referenced in 8 articles [sw06814]
  • solution to an edge cut minimizing binary quadratic program (BQP). This result provides the first...
  • ECOS

  • Referenced in 42 articles [sw12123]
  • quadratically-constrained quadratic programs (QCQPs). ECOS also supports a small number of binary or integer...
  • MIQCR-CB

  • Referenced in 4 articles [sw21604]
  • phases: the first phase determines an equivalent quadratic formulation with a convex objective function ... solution of a large-scale semidefinite program, it is not tractable by existing semidefinite solvers ... that can be formulated by a binary quadratic program. As an illustration of the efficiency ... with BiqCrunch, two methods devoted to binary quadratic programming. We show that MIQCR...
  • BiqMac

  • Referenced in 18 articles [sw12662]
  • Library - Binary quadratic and Max cut Library. This site offers a collection ... instances and quadratic 0-1 programming problems of medium size. Most of the instances were...
  • GRASS

  • Referenced in 4 articles [sw12609]
  • information sources. GRASS offers a mixed-integer programming formulation of the contig scaffolding problem, which ... expectation–maximization procedure and an unconstrained binary quadratic programming approximation of the original problem...
  • xQx

  • Referenced in 4 articles [sw01500]
  • effectively modelled and solved as unconstrained quadratic binary programs (UQPs). UQP has been presented...
  • FOS/C

  • Referenced in 3 articles [sw06840]
  • solution to an edge cut minimizing binary quadratic program (BQP). This result provides the first...
  • Bqplib

  • Referenced in 2 articles [sw32908]
  • BQPLIB: BQP problems. Boolean Quadratic Programming. These data files are the test problems used ... Improved Row-by-Row method for binary quadratic optimization problems...
  • quadprogIP

  • Referenced in 4 articles [sw36327]
  • reformulate a (indefinite) quadratic program (QP) as a mixed-integer linear programming (MILP) problem ... linear complementary problem, and then using binary variables and big-M constraints to model...
  • NSVMOOP

  • Referenced in 3 articles [sw14484]
  • based on one optimization problem (NSVMOOP) for binary classification. Our NSVMOOP is formulated aiming ... hyperplanes simultaneously by solving a single quadratic programming problem, on which a modified sequential minimization...
  • PyQUBO

  • Referenced in 1 article [sw37559]
  • open-source, Python library for constructing quadratic unconstrained binary optimizations (QUBOs) from the objective functions ... expressions and the extensibility of the program. QUBOs and Ising models formulated using PyQUBO...
  • ANSYS

  • Referenced in 665 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 324 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...
  • cdd

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

  • Referenced in 367 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

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