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

DIP
 Referenced in 19 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 1 article
[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 677 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

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

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

CSDP
 Referenced in 200 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 126 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...

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