-
1
-
-
27344455409
-
Using randomization and learning to solve hard real-world instances of satisfiability
-
Baptista, L., and Silva, J. P. M. 2000. Using randomization and learning to solve hard real-world instances of satisfiability. In Principles and Practice of Constraint Programming, 489-494.
-
(2000)
Principles and Practice of Constraint Programming
, pp. 489-494
-
-
Baptista, L.1
Silva, J.P.M.2
-
2
-
-
33846024636
-
Simple rules for low-knowledge algorithm selection
-
Beck, J. C., and Freuder, E. C. 2004. Simple rules for low-knowledge algorithm selection. In Proc. of 1st CPAIOR.
-
(2004)
Proc. of 1st CPAIOR
-
-
Beck, J.C.1
Freuder, E.C.2
-
3
-
-
0004116989
-
-
MIT press, Cambridge, MA, second edition
-
Cormen, T.; Leiserson, C.; Rivest, R.; and Stein, C. 2003. Introduction to Algorithms. MIT press, Cambridge, MA, second edition.
-
(2003)
Introduction to Algorithms
-
-
Cormen, T.1
Leiserson, C.2
Rivest, R.3
Stein, C.4
-
4
-
-
85166375551
-
How to solve it automatically: Selection among problem solving methods
-
Fink, E. 1998. How to solve it automatically: Selection among problem solving methods. In Proc. of 4th AIPS, 128-136.
-
(1998)
Proc. of 4th AIPS
, pp. 128-136
-
-
Fink, E.1
-
5
-
-
33845982488
-
Making choices using structure at the instance level within a case based reasoning framework
-
Gebruers, C.; Guerri, A.; Hnich, B.; and Milano, M. 2004. Making choices using structure at the instance level within a case based reasoning framework. In CPAIOR, 380-386.
-
(2004)
CPAIOR
, pp. 380-386
-
-
Gebruers, C.1
Guerri, A.2
Hnich, B.3
Milano, M.4
-
6
-
-
26944458114
-
Using CBR to select solution strategies in constraint programming
-
Gebruers, C.; Hnich, B.; Bridge, D. G.; and Freuder, E. C. 2005. Using CBR to select solution strategies in constraint programming. In ICCBR, 222-236.
-
(2005)
ICCBR
, pp. 222-236
-
-
Gebruers, C.1
Hnich, B.2
Bridge, D.G.3
Freuder, E.C.4
-
7
-
-
0003780657
-
PDDL : The planning domain defnition language
-
Technical report, Yale Center for Computational Vision and Control
-
Ghallab, M.; Howe, A.; Knoblock, C.; McDermott, D.; Ram, A.; Veloso, M.; Weld, D.; and Wilkins., D. 1998. PDDL : the planning domain defnition language. Technical report, Yale Center for Computational Vision and Control.
-
(1998)
-
-
Ghallab, M.1
Howe, A.2
Knoblock, C.3
McDermott, D.4
Ram, A.5
Veloso, M.6
Weld, D.7
Wilkins, D.8
-
8
-
-
0001836740
-
Algorithm portfolio design: Theory vs. practice
-
Linz, Austria, Morgan Kaufman
-
Gomes, C. P., and Selman, B. 1997. Algorithm portfolio design: Theory vs. practice. In Proc. of 13th UAI. Linz, Austria.: Morgan Kaufman.
-
(1997)
Proc. of 13th UAI
-
-
Gomes, C.P.1
Selman, B.2
-
9
-
-
0029679218
-
Adaptive problem-solving for large-scale scheduling problems: A case study
-
Gratch, J., and Chien, S. 1996. Adaptive problem-solving for large-scale scheduling problems: A case study. JAIR 4:365-396.
-
(1996)
JAIR
, vol.4
, pp. 365-396
-
-
Gratch, J.1
Chien, S.2
-
10
-
-
85017348041
-
Learning techniques for automatic algorithm portfolio selection
-
Guerri, A., and Milano, M. 2004. Learning techniques for automatic algorithm portfolio selection. In Proc. of 16th ECAI, 475-479.
-
(2004)
Proc. of 16th ECAI
, pp. 475-479
-
-
Guerri, A.1
Milano, M.2
-
11
-
-
22944472703
-
A learning-based algorithm selection meta-reasoner for the real-time mpe problem
-
Guo, H., and Hsu, W. H. 2004. A learning-based algorithm selection meta-reasoner for the real-time mpe problem. In Australian Conference on Artificial Intelligence, 307-318.
-
(2004)
Australian Conference on Artificial Intelligence
, pp. 307-318
-
-
Guo, H.1
Hsu, W.H.2
-
12
-
-
84880900212
-
Local search topology in planning benchmarks: An empirical analysis
-
Hoffmann, J. 2001. Local search topology in planning benchmarks: An empirical analysis. In Proc. of 17th IJCAI, 453-458.
-
(2001)
Proc. of 17th IJCAI
, pp. 453-458
-
-
Hoffmann, J.1
-
14
-
-
0012302244
-
A bayesian approach to tackling hard computational problems
-
Horvitz, E.; Ruan, Y.; Gomes, C. P.; Kautz, H.; Selman, B.; and Chickering, D. M. 2001. A bayesian approach to tackling hard computational problems. In Proc. of 17th UAI, 235-244.
-
(2001)
Proc. of 17th UAI
, pp. 235-244
-
-
Horvitz, E.1
Ruan, Y.2
Gomes, C.P.3
Kautz, H.4
Selman, B.5
Chickering, D.M.6
-
15
-
-
3442880012
-
Exploiting competitive planner performance
-
Howe, A. E.; Dahlman, E.; Hansen, C.; von Mayrhauser, A.; and Scheetz, M. 1999. Exploiting competitive planner performance. In P roc. of 5th ECP.
-
(1999)
P roc. of 5th ECP
-
-
Howe, A.E.1
Dahlman, E.2
Hansen, C.3
von Mayrhauser, A.4
Scheetz, M.5
-
16
-
-
0031035643
-
An economics approach to hard combinatorial problems
-
Huberman, B. A.; Lukose, R. M.; and Hogg, T. 1997. An economics approach to hard combinatorial problems. Science 275:51-54.
-
(1997)
Science
, vol.275
, pp. 51-54
-
-
Huberman, B.A.1
Lukose, R.M.2
Hogg, T.3
-
17
-
-
0010007403
-
Algorithm selection using reinforcement learning
-
Lagoudakis, M. G., and Littman, M. L. 2000. Algorithm selection using reinforcement learning. In Proc. 17th ICML, 511-518.
-
(2000)
Proc
, vol.17 th
, Issue.ICML
, pp. 511-518
-
-
Lagoudakis, M.G.1
Littman, M.L.2
-
18
-
-
30344467971
-
Learning to select branching rules in the dpll procedure for satisfiability
-
Boston, MA: Electronic Notes in Discrete Mathematics ENDM
-
Lagoudakis, M. G., and Littman, M. L. 2001. Learning to select branching rules in the dpll procedure for satisfiability. In LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001). Boston, MA: Electronic Notes in Discrete Mathematics (ENDM), Vol. 9,.
-
(2001)
LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)
, vol.9
-
-
Lagoudakis, M.G.1
Littman, M.L.2
-
19
-
-
33846020835
-
Boosting as a metaphore for algorithm design
-
Leyton-Brown, K.; Nudelman, E.; Andrew, G.; McFadden, J.; and Shoham, Y. 2003a. Boosting as a metaphore for algorithm design. In Proc. of CP.
-
(2003)
Proc. of CP
-
-
Leyton-Brown, K.1
Nudelman, E.2
Andrew, G.3
McFadden, J.4
Shoham, Y.5
-
20
-
-
18144395447
-
A portfolio approach to algorithm selection
-
Leyton-Brown, K.; Nudelman, E.; Andrew, G.; McFadden, J.; and Shoham, Y. 2003b. A portfolio approach to algorithm selection. In Proc. of 18th IJCAI.
-
(2003)
Proc. of 18th IJCAI
-
-
Leyton-Brown, K.1
Nudelman, E.2
Andrew, G.3
McFadden, J.4
Shoham, Y.5
-
22
-
-
0030232147
-
Automatically configuring constraint satisfaction programs: A case study
-
Minton, S. 1996. Automatically configuring constraint satisfaction programs: A case study. Constraints 1(1/2):7-43.
-
(1996)
Constraints
, vol.1
, Issue.1-2
, pp. 7-43
-
-
Minton, S.1
-
23
-
-
33746082324
-
Understanding random sat: Beyond the clauses-to-variables ratio
-
Nudelman, E.; Leyton-Brown, K.; Hoos, H.; Devkar, A.; and Shoham, Y. 2004. Understanding random sat: Beyond the clauses-to-variables ratio. In Priciples and Practices of Constraint Programing (CP-2004).
-
(2004)
Priciples and Practices of Constraint Programing (CP-2004)
-
-
Nudelman, E.1
Leyton-Brown, K.2
Hoos, H.3
Devkar, A.4
Shoham, Y.5
-
24
-
-
0003056605
-
The algorithm selection problem
-
Rice, J. R. 1976. The algorithm selection problem. Advances in Computers 15:65-118.
-
(1976)
Advances in Computers
, vol.15
, pp. 65-118
-
-
Rice, J.R.1
-
25
-
-
0016556911
-
Optimal problem-solving search: All-or-none solutions
-
Simon, H., and Kadan, J. 1975. Optimal problem-solving search: All-or-none solutions. Artificial Intelligence 6:236-247.
-
(1975)
Artificial Intelligence
, vol.6
, pp. 236-247
-
-
Simon, H.1
Kadan, J.2
|