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

DIP
 Referenced in 20 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 3 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...

APlibrary
 Referenced in 2 articles
[sw39855]
 phases for fixing variables and some valid inequalities are developed to enhance the initial formulations...

GALINI
 Referenced in 1 article
[sw38738]
 generator plugin that adds valid inequalities in the galini cut loop...

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 703 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

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

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

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

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

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

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

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

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...