-
1
-
-
0036911693
-
Generic ILP versus specialized 0-1 ILP: An update
-
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, and Karem A. Sakallah. Generic ILP versus specialized 0-1 ILP: An update. In ICCAD, pages 450-457, 2002.
-
(2002)
ICCAD
, pp. 450-457
-
-
Aloul, F.A.1
Ramani, A.2
Markov, I.L.3
Sakallah, K.A.4
-
3
-
-
21044440739
-
Approximating min sum set cover
-
DOI 10.1007/s00453-004-1110-5
-
Uriel Feige, László Lovász, and Prasad Tetali. Approximating min sum set cover. Algorithmica, 40(4):219-234, 2004. (Pubitemid 40871638)
-
(2004)
Algorithmica (New York)
, vol.40
, Issue.4
, pp. 219-234
-
-
Feige, U.1
Lovasz, L.2
Tetali, P.3
-
5
-
-
0001836740
-
Algorithm portfolio design: Theory vs. practice
-
Carla P. Gomes and Bart Selman. Algorithm portfolio design: Theory vs. practice. In UAI, pages 190-197, 1997.
-
(1997)
UAI
, pp. 190-197
-
-
Gomes, C.P.1
Selman, B.2
-
6
-
-
0035250831
-
Algorithm portfolios
-
DOI 10.1016/S0004-3702(00)00081-3
-
Carla P. Gomes and Bart Selman. Algorithm portfolios. Artificial Intelligence, 126:43-62, 2001. (Pubitemid 32196231)
-
(2001)
Artificial Intelligence
, vol.126
, Issue.1-2
, pp. 43-62
-
-
Gomes, C.P.1
Selman, B.2
-
7
-
-
0031630555
-
Boosting combinatorial search through randomization
-
Carla P. Gomes, Bart Selman, and Henry Kautz. Boosting combinatorial search through randomization. In AAAI, pages 431-437, 1998.
-
(1998)
AAAI
, pp. 431-437
-
-
Gomes, C.P.1
Selman, B.2
Kautz, H.3
-
8
-
-
0031035643
-
An economics approach to hard computational problems
-
DOI 10.1126/science.275.5296.51
-
Bernardo A. Huberman, Rajan M. Lukose, and Tad Hogg. An economics approach to hard computational problems. Science, 275:51-54, 1997. (Pubitemid 27020302)
-
(1997)
Science
, vol.275
, Issue.5296
, pp. 51-54
-
-
Huberman, B.A.1
Lukose, R.M.2
Hogg, T.3
-
9
-
-
0028257192
-
Optimal constructions of hybrid algorithms
-
Ming-Yang Kao, Yuan Ma, Michael Sipser, and Yiqun Yin. Optimal constructions of hybrid algorithms. In SODA, pages 372-381, 1994.
-
(1994)
SODA
, pp. 372-381
-
-
Kao, M.-Y.1
Ma, Y.2
Sipser, M.3
Yin, Y.4
-
10
-
-
33244494375
-
Boosting as a metaphor for algorithm design
-
Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, James McFadden, and Yoav Shoham. Boosting as a metaphor for algorithm design. In CP, pages 899-903, 2003.
-
(2003)
CP
, pp. 899-903
-
-
Leyton-Brown, K.1
Nudelman, E.2
Andrew, G.3
McFadden, J.4
Shoham, Y.5
-
13
-
-
33745624248
-
Combining multiple heuristics
-
DOI 10.1007/11672142-19, STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Proceedings
-
Tzur Sayag, Shai Fine, and Yishay Mansour. Combining multiple heuristics. In STACS, pages 242-253, 2006. (Pubitemid 43990430)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNCS3884
, pp. 242-253
-
-
Sayag, T.1
Fine, S.2
Mansour, Y.3
-
17
-
-
36349010731
-
Restart schedules for ensembles of problem instances
-
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
-
Matthew Streeter, Daniel Golovin, and Stephen F. Smith. Restart schedules for ensembles of problem instances. In AAAI, pages 1204-1210, 2007. (Pubitemid 350149732)
-
(2007)
Proceedings of the National Conference on Artificial Intelligence
, vol.2
, pp. 1204-1210
-
-
Streeter, M.1
Golovin, D.2
Smith, S.F.3
-
18
-
-
38349031300
-
SATzilla07: The design and analysis of an algorithm portfolio for SAT
-
Lin Xu, Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown. SATzilla07: The design and analysis of an algorithm portfolio for SAT. In CP, pages 712-727, 2007.
-
(2007)
CP
, pp. 712-727
-
-
Xu, L.1
Hutter, F.2
Hoos, H.H.3
Leyton-Brown, K.4
|