15253 search results - page 4 / 3051 » Integer-Programming Software Systems |
INFORMS
1998
13 years 9 months ago
1998
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...
SPLC
2008
13 years 11 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
IPCO
2008
13 years 11 months ago
2008
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...
ORL
2011
13 years 4 months ago
2011
Computing the 1-width of the incidence matrix of a Steiner Triple System gives rise to small set covering instances that provide a computational challenge for integer programming ...