-
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...
-
bc-opt
- 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...
-
AP-library
- 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 plug-in 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 one-row relaxations ... generalize both MIR and 2-step MIR inequalities. Then, we describe an algorithm for enumerating...
-
DDDLIB
- Referenced in 1 article
[sw00192]
- first-order logic over Boolean variables and inequalities of the form ... eliminating quantifiers, and deciding functional properties (satisfiability, validity and equivalence). The library is written...
-
ACRITH-XSC
- Referenced in 49 articles
[sw00015]
- ACRITH-XSC is a Fortran-like 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...
-
C-XSC
- Referenced in 110 articles
[sw00181]
- C-XSC. A programming environment for verified scientific...
-
C-XSC 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...