
MINTO
 Referenced in 132 articles
[sw04587]
 probing; construct feasible solutions generate strong valid inequalities perform variable fixing based on reduced prices...

DIP
 Referenced in 18 articles
[sw09870]
 customizations, such as methods for generating valid inequalities and branching, in terms of the variables...

bcopt
 Referenced in 12 articles
[sw21181]
 described, incorporating most of the valid inequalities that have been used or suggested for such...

Monopoly
 Referenced in 2 articles
[sw25689]
 formulation and introduce some families of valid inequalities. We show that in the presence ... more efficiently by adding some strong valid inequalities. An algorithm is given that solves...

onerow
 Referenced in 2 articles
[sw31758]
 consider the problem of generating inequalities that are valid for onerow relaxations ... generalize both MIR and 2step MIR inequalities. Then, we describe an algorithm for enumerating...

DDDLIB
 Referenced in 1 article
[sw00192]
 firstorder logic over Boolean variables and inequalities of the form ... eliminating quantifiers, and deciding functional properties (satisfiability, validity and equivalence). The library is written...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ANSYS
 Referenced in 655 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

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

CXSC
 Referenced in 107 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 123 articles
[sw00182]
 A C++ class library for extended scientific computing...

Diffpack
 Referenced in 113 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

GAUSS
 Referenced in 116 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

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

Gmsh
 Referenced in 576 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

HSL
 Referenced in 269 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...