
CirCut
 Referenced in 42 articles
[sw04782]
 heuristics for MAXCUT and other binary quadratic programs The GoemansWilliamson randomized algorithm guarantees ... well as other binary quadratic programs, for example the MAXBISECTION problem.par A computer code...

BubbleFOS/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]
 quadraticallyconstrained quadratic programs (QCQPs). ECOS also supports a small number of binary or integer...

MIQCRCB
 Referenced in 4 articles
[sw21604]
 phases: the first phase determines an equivalent quadratic formulation with a convex objective function ... solution of a largescale 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 01 programming problems of medium size. Most of the instances were...

GRASS
 Referenced in 4 articles
[sw12609]
 information sources. GRASS offers a mixedinteger 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 RowbyRow method for binary quadratic optimization problems...

quadprogIP
 Referenced in 4 articles
[sw36327]
 reformulate a (indefinite) quadratic program (QP) as a mixedinteger linear programming (MILP) problem ... linear complementary problem, and then using binary variables and bigM 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]
 opensource, 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...