-
1
-
-
26444558125
-
-
Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, and Toniann Pitassi. Combining Component Caching and Clause Learning for Effective Model Counting, SAT 2004.
-
(2004)
Combining Component Caching and Clause Learning for Effective Model Counting, SAT
-
-
Sang, T.1
Bacchus, F.2
Beame, P.3
Kautz, H.4
Pitassi, T.5
-
2
-
-
33947128863
-
Optimizing over the split closure
-
Technical Report 2006-E5, Tepper School of Business, CMU
-
Egon Balas, Anuret Saxena. Optimizing over the split closure, Technical Report 2006-E5, Tepper School of Business, CMU, 2005.
-
(2005)
-
-
Balas, E.1
Saxena, A.2
-
3
-
-
0002665317
-
MIP: Theory and practice - closing the gap
-
M. J. D. Powell and S. Scholtes eds, Kluwer Academic Publishers
-
Robert E. Bixby, Mary Fenelon, Zonghao Gu, Edward Rothberg, and Roland Wunderling. MIP: Theory and practice - closing the gap. In M. J. D. Powell and S. Scholtes (eds.), System Modelling and Optimization: Methods, Theory, and Applications, pages 19-49. Kluwer Academic Publishers, 2000.
-
(2000)
System Modelling and Optimization: Methods, Theory, and Applications
, pp. 19-49
-
-
Bixby, R.E.1
Fenelon, M.2
Gu, Z.3
Rothberg, E.4
Wunderling, R.5
-
4
-
-
0002027106
-
An updated mixed integer programming library: MIPLIB 3.0
-
Robert E. Bixby, S. Ceria, C. M. McZeal, M. W. P Savelsbergh. An updated mixed integer programming library: MIPLIB 3.0. Journal Optima: 58, 12-15, 1998.
-
(1998)
Journal Optima
, vol.58
, pp. 12-15
-
-
Robert, E.1
Bixby, S.2
Ceria, C.3
McZeal, M.4
Savelsbergh, M.W.P.5
-
6
-
-
38049071780
-
-
CPLEX 10.0 Manual, Hog Inc., 2006.
-
CPLEX 10.0 Manual, Hog Inc., 2006.
-
-
-
-
7
-
-
12344255882
-
Exploring relaxation induced neighborhoods to improve MIP solutions
-
Emilie Danna, Edward Rothberg, Claude Le Pape. Exploring relaxation induced neighborhoods to improve MIP solutions. Mathematical Programming: 102(1), 7190, 2005.
-
(2005)
Mathematical Programming
, vol.102
, Issue.1
, pp. 7190
-
-
Danna, E.1
Rothberg, E.2
Pape, C.L.3
-
9
-
-
24944557918
-
Optimizing over the first Chvátal closure
-
M. Jünger and V. Kaibel eds, Integer Programming and Combinatorial Optimization, IPCO 2005, Springer-Verlag
-
Matteo Fischetti, Andrea Lodi. Optimizing over the first Chvátal closure, in M. Jünger and V. Kaibel (eds.), Integer Programming and Combinatorial Optimization - IPCO 2005, LNCS 3509, Springer-Verlag, 12-22, 2005.
-
(2005)
LNCS
, vol.3509
, pp. 12-22
-
-
Fischetti, M.1
Lodi, A.2
-
11
-
-
0012325833
-
Scatter search to generate diverse MIP solutions
-
M. Laguna and J.L. Gonzalez-Velarde eds, Kluwer Academic Publishers
-
Fred Glover, Arne Løkketangen, and David L. Woodruff. Scatter search to generate diverse MIP solutions. In OR computing tools for modeling, optimization and simulation: interfaces in computer science and operations research, M. Laguna and J.L. Gonzalez-Velarde (eds.), Kluwer Academic Publishers, 299-317, 2000.
-
(2000)
OR computing tools for modeling, optimization and simulation: Interfaces in computer science and operations research
, pp. 299-317
-
-
Glover, F.1
Løkketangen, A.2
Woodruff, D.L.3
-
13
-
-
0026125207
-
Improving Representations of Zero-one Linear Programs for Branch-and-Cut
-
Karla Hoffman and Manfred Padberg. Improving Representations of Zero-one Linear Programs for Branch-and-Cut, ORSA Journal of Computings, 121-134, 1991.
-
(1991)
ORSA Journal of Computings
, vol.121-134
-
-
Hoffman, K.1
Padberg, M.2
-
15
-
-
0034661295
-
Recursive MILP model for finding all the alternate optima in LP models for metabolic networks
-
Sangbum Lee, Chan Phalakornkule, Michael M. Domach, and Ignacio E. Grossmann. Recursive MILP model for finding all the alternate optima in LP models for metabolic networks. Computers and Chemical Engineering, 24:711-716, 2000.
-
(2000)
Computers and Chemical Engineering
, vol.24
, pp. 711-716
-
-
Lee, S.1
Phalakornkule, C.2
Domach, M.M.3
Grossmann, I.E.4
-
16
-
-
38049031394
-
-
MIPLIB
-
MIPLIB 2003, http://miplib.zib.de/
-
(2003)
-
-
-
17
-
-
38049035721
-
It's a beautiful day in the neighborhood -Local search in mixed integer programming
-
Edward Rothberg. It's a beautiful day in the neighborhood -Local search in mixed integer programming. Workshop on mixed integer programming, MIP 2005.
-
(2005)
Workshop on mixed integer programming, MIP
-
-
Rothberg, E.1
-
18
-
-
85047684701
-
An evolutionary algorithm for polishing mixed integer programming solutions
-
To appear in
-
Edward Rothberg. An evolutionary algorithm for polishing mixed integer programming solutions. To appear in INFORMS Journal on Computing.
-
INFORMS Journal on Computing
-
-
Rothberg, E.1
-
20
-
-
49249151236
-
The complexity of computing the permanent
-
L. G. Valiant. The complexity of computing the permanent. Theoretical Computer Science, 8:189-201, 1979.
-
(1979)
Theoretical Computer Science
, vol.8
, pp. 189-201
-
-
Valiant, L.G.1
-
21
-
-
0000142982
-
The complexity of enumeration and reliability problems
-
L. G. Valiant. The complexity of enumeration and reliability problems. SIAM Journal of Computing, 9:410-421, 1979.
-
(1979)
SIAM Journal of Computing
, vol.9
, pp. 410-421
-
-
Valiant, L.G.1
|