-
1
-
-
70350393893
-
Confidence-based work stealing in parallel constraint programming
-
Geoffrey Chu, Christian Schulte, and Peter J. Stuckey. Confidence-based work stealing in parallel constraint programming. In CP, pages 226-241, 2009.
-
(2009)
CP
, pp. 226-241
-
-
Chu, G.1
Schulte, C.2
Stuckey, P.J.3
-
2
-
-
33645574693
-
Early estimates of the size of branch-and-bound trees
-
Gerard Cornuejols, Miroslav Karamanov, and Yanjun Li. Early estimates of the size of branch-and-bound trees. INFORMS Journal on Computing, 18(1):86-96, 2006.
-
(2006)
INFORMS Journal on Computing
, vol.18
, Issue.1
, pp. 86-96
-
-
Cornuejols, G.1
Karamanov, M.2
Li, Y.3
-
3
-
-
33847283947
-
AND/OR search spaces for graphical models
-
Rina Dechter and Robert Mateescu. AND/OR search spaces for graphical models. Artif. Intell., 171(2-3):73-106, 2007.
-
(2007)
Artif. Intell.
, vol.171
, Issue.2-3
, pp. 73-106
-
-
Dechter, R.1
Mateescu, R.2
-
4
-
-
1642312636
-
Mini-buckets: A general scheme for bounded inference
-
Rina Dechter and Irina Rish. Mini-buckets: A general scheme for bounded inference. Journal of the ACM, 50(2):107-153, 2003.
-
(2003)
Journal of the ACM
, vol.50
, Issue.2
, pp. 107-153
-
-
Dechter, R.1
Rish, I.2
-
5
-
-
0028550919
-
Parallel branch-and-bound algorithms: Survey and synthesis
-
Bernard Gendron and Teodor Gabriel Crainic. Parallel branch-and-bound algorithms: Survey and synthesis. Operations Research, 42(6):1042-1066, 1994.
-
(1994)
Operations Research
, vol.42
, Issue.6
, pp. 1042-1066
-
-
Gendron, B.1
Crainic, T.G.2
-
7
-
-
0032649748
-
State of the art in parallel search techniques for discrete optimization problems
-
Ananth Grama and Vipin Kumar. State of the art in parallel search techniques for discrete optimization problems. IEEE Trans. Knowl. Data Eng., 11(1):28-35, 1999.
-
(1999)
IEEE Trans. Knowl. Data Eng.
, vol.11
, Issue.1
, pp. 28-35
-
-
Grama, A.1
Kumar, V.2
-
9
-
-
33750734670
-
Estimating search tree size
-
AAAI Press
-
Philip Kilby, John Slaney, Sylvie Thiebaux, and Toby Walsh. Estimating search tree size. In AAAI, pages 1014-1019. AAAI Press, 2006.
-
(2006)
AAAI
, pp. 1014-1019
-
-
Kilby, P.1
Slaney, J.2
Thiebaux, S.3
Walsh, T.4
-
10
-
-
84966254647
-
Estimating the efficiency of backtrack programs
-
Donald E. Knuth. Estimating the efficiency of backtrack programs. Mathematics of Computation, 29(129):121-136, 1975.
-
(1975)
Mathematics of Computation
, vol.29
, Issue.129
, pp. 121-136
-
-
Knuth, D.E.1
-
11
-
-
68549128640
-
Empirical hardness models: Methodology and a case study on combinatorial auctions
-
Kevin Leyton-Brown, Eugene Nudelman, and Yoav Shoham. Empirical hardness models: Methodology and a case study on combinatorial auctions. Journal of the ACM, 56(4):1-52, 2009.
-
(2009)
Journal of the ACM
, vol.56
, Issue.4
, pp. 1-52
-
-
Leyton-Brown, K.1
Nudelman, E.2
Shoham, Y.3
-
12
-
-
69249213986
-
AND/or branchand-bound search for combinatorial optimization in graphical models
-
RaduMarinescu and Rina Dechter. AND/OR Branchand-Bound search for combinatorial optimization in graphical models. Artif. Intell., 173(16-17):1457-1491, 2009.
-
(2009)
Artif. Intell.
, vol.173
, Issue.16-17
, pp. 1457-1491
-
-
Marinescu, R.1
Dechter, R.2
-
13
-
-
84874163199
-
Towards parallel search for optimization in graphical models
-
Lars Otten and Rina Dechter. Towards parallel search for optimization in graphical models. In ISAIM, 2010.
-
(2010)
ISAIM
-
-
Otten, L.1
Dechter, R.2
-
14
-
-
84872527104
-
Finding most likely haplotypes in general pedigrees through parallel search with dynamic load balancing
-
Lars Otten and Rina Dechter. Finding most likely haplotypes in general pedigrees through parallel search with dynamic load balancing. In PSB, 2011.
-
(2011)
PSB
-
-
Otten, L.1
Dechter, R.2
-
16
-
-
52249100995
-
SATzilla: Portfolio-based algorithm selection for SAT
-
Jun
-
Lin Xu, Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown. SATzilla: portfolio-based algorithm selection for SAT. Journal of Artificial Intelligence Research, 32:565-606, June 2008.
-
(2008)
Journal of Artificial Intelligence Research
, vol.32
, pp. 565-606
-
-
Xu, L.1
Hutter, F.2
Hoos, H.H.3
Leyton-Brown, K.4
-
17
-
-
84898991014
-
Approximate inference and protein-folding
-
In S. Thrun S. Becker and K. Obermayer, editors, MIT Press, Cambridge, MA
-
Chen Yanover and Yair Weiss. Approximate inference and protein-folding. In S. Thrun S. Becker and K. Obermayer, editors, Advances in Neural Information Processing Systems 15, pages 1457-1464. MIT Press, Cambridge, MA, 2003.
-
(2003)
Advances in Neural Information Processing Systems 15
, pp. 1457-1464
-
-
Yanover, C.1
Weiss, Y.2
|