-
2
-
-
84978737128
-
-
Battiti, R., Brunato, M.: Reactive search: machine learning for memory-based heuristics. In: Gonzalez, T.F. (ed.) Approximation Algorithms and Metaheuristics, pp. 21-1 - 21-17. Taylor and Francis Books, CRC Press, Washington (2007)
-
Battiti, R., Brunato, M.: Reactive search: machine learning for memory-based heuristics. In: Gonzalez, T.F. (ed.) Approximation Algorithms and Metaheuristics, pp. 21-1 - 21-17. Taylor and Francis Books, CRC Press, Washington (2007)
-
-
-
-
3
-
-
72449172030
-
Reactive Search and Intelligent Optimization
-
Springer, Heidelberg in press
-
Battiti, R., Brunato, M., Mascia, F.: Reactive Search and Intelligent Optimization. In: Operations research/Computer Science Interfaces. Springer, Heidelberg (in press, 2008)
-
(2008)
Operations research/Computer Science Interfaces
-
-
Battiti, R.1
Brunato, M.2
Mascia, F.3
-
7
-
-
0005899791
-
Statistical Machine Learning for Large-Scale Optimization
-
Baluja, S., Barto, A., Boese, K., Boyan, J., Buntine, W., Carson, T., Caruana, R., Cook, D., Davies, S., Dean, T., et al.: Statistical Machine Learning for Large-Scale Optimization. Neural Computing Surveys 3, 1-58 (2000)
-
(2000)
Neural Computing Surveys
, vol.3
, pp. 1-58
-
-
Baluja, S.1
Barto, A.2
Boese, K.3
Boyan, J.4
Buntine, W.5
Carson, T.6
Caruana, R.7
Cook, D.8
Davies, S.9
Dean, T.10
-
8
-
-
0031625420
-
Learning evaluation functions for global optimization and boolean satisfability
-
Press, A, ed, AAAI, pp
-
Boyan, J.A., Moore, A.W.: Learning evaluation functions for global optimization and boolean satisfability. In: Press, A. (ed.) Proc. of 15th National Conf. on Artificial Intelligence (AAAI), pp. 3-10 (1998)
-
(1998)
Proc. of 15th National Conf. on Artificial Intelligence
, pp. 3-10
-
-
Boyan, J.A.1
Moore, A.W.2
-
11
-
-
33845968398
-
Learning to select branching rules in the DPLL procedure for satisfiability
-
Workshop on Theory and Applications of Satisfiability Testing, SAT 2001 2001
-
Lagoudakis, M., Littman, M.: Learning to select branching rules in the DPLL procedure for satisfiability. In: LICS 2001 Workshop on Theory and Applications of Satisfiability Testing, SAT 2001 (2001)
-
(2001)
LICS
-
-
Lagoudakis, M.1
Littman, M.2
-
13
-
-
36348992992
-
Step size adaptation in evolution strategies using reinforcementlearning
-
CEC, 2002
-
Muller, S., Schraudolph, N., Koumoutsakos, P.: Step size adaptation in evolution strategies using reinforcementlearning. In: Proceedings of the 2002 Congress on Evolutionary Computation, 2002. CEC 2002, vol. 1, pp. 151-156 (2002)
-
(2002)
Proceedings of the 2002 Congress on Evolutionary Computation
, vol.1
, pp. 151-156
-
-
Muller, S.1
Schraudolph, N.2
Koumoutsakos, P.3
-
14
-
-
36348980390
-
-
Eiben, A., Horvath, M., Kowalczyk, W., Schut, M.: Reinforcement learning for online control of evolutionary algorithms. In: Brueckner, S.A., Hassas, S., Jelasity, M., Yamins, D. (eds.) ESOA 2006. LNCS (LNAI), 4335. Springer, Heidelberg (2007)
-
Eiben, A., Horvath, M., Kowalczyk, W., Schut, M.: Reinforcement learning for online control of evolutionary algorithms. In: Brueckner, S.A., Hassas, S., Jelasity, M., Yamins, D. (eds.) ESOA 2006. LNCS (LNAI), vol. 4335. Springer, Heidelberg (2007)
-
-
-
-
15
-
-
0037636905
-
Approximate algorithms and heuristics for MAX-SAT
-
Du, D, Pardalos, P, eds, Kluwer Academic Publishers, Dordrecht
-
Battiti, R., Protasi, M.: Approximate algorithms and heuristics for MAX-SAT. In: Du, D., Pardalos, P. (eds.) Handbook of Combinatorial Optimization, vol. 1, pp. 77-148. Kluwer Academic Publishers, Dordrecht (1998)
-
(1998)
Handbook of Combinatorial Optimization
, vol.1
, pp. 77-148
-
-
Battiti, R.1
Protasi, M.2
-
16
-
-
58349110055
-
-
Lagoudakis, M., Parr, R.: LSPI: Least-squares policy iteration (as of September 1, 2007), http://www.cs.duke.edu/research/AI/LSPI
-
Lagoudakis, M., Parr, R.: LSPI: Least-squares policy iteration (as of September 1, 2007), http://www.cs.duke.edu/research/AI/LSPI
-
-
-
-
17
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
San Jose, Ca, pp, July
-
Mitchell, D., Selman, B., Levesque, H.: Hard and easy distributions of SAT problems. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI 1992), San Jose, Ca, pp. 459-465 (July 1992)
-
(1992)
Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
18
-
-
84957027959
-
-
KI, Kunstliche Intelligenz, pp
-
Steinmann, O., Strohmaier, A., Stutzle, T.: Tabu search vs. random walk. In: KI - Kunstliche Intelligenz, pp. 337-348 (1997)
-
(1997)
Tabu search vs. random walk
, pp. 337-348
-
-
Steinmann, O.1
Strohmaier, A.2
Stutzle, T.3
-
19
-
-
0027001335
-
A new method for solving hard satisfiability problems
-
San Jose, Ca, pp, July
-
Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI 1992), San Jose, Ca, pp. 440-446 (July 1992)
-
(1992)
Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI
, pp. 440-446
-
-
Selman, B.1
Levesque, H.2
Mitchell, D.3
-
20
-
-
0031380187
-
Evidence for invariants in local search
-
John Wiley & sons LTD, USA
-
McAllester, D., Selman, B., Kautz, H.: Evidence for invariants in local search. In: Proceedings of the national conference on artificial intelligence (14), pp. 321-326. John Wiley & sons LTD., USA (1997)
-
(1997)
Proceedings of the national conference on artificial intelligence (14)
, pp. 321-326
-
-
McAllester, D.1
Selman, B.2
Kautz, H.3
-
21
-
-
0028574681
-
Noise strategies for improving local search
-
John Wiley &L sons LTD, USA
-
Selman, B., Kautz. H., Cohen. B.: Noise strategies for improving local search. In: Proceedings of the national conference on artificial intelligence, vol. 12. John Wiley &L sons LTD., USA (1994)
-
(1994)
Proceedings of the national conference on artificial intelligence
, vol.12
-
-
Selman, B.1
Kautz, H.2
Cohen, B.3
-
23
-
-
84957015736
-
-
Tompkins, F.H.D., Hoos, H.: Scaling and probabilistic smoothing: Efficient dynamic local search for sat. In: Van Hentenryck. P. (ed.) CP 2002. LNCS, 2470, p. 233. Springer, Heidelberg (2002)
-
Tompkins, F.H.D., Hoos, H.: Scaling and probabilistic smoothing: Efficient dynamic local search for sat. In: Van Hentenryck. P. (ed.) CP 2002. LNCS, vol. 2470, p. 233. Springer, Heidelberg (2002)
-
-
-
-
24
-
-
84880866150
-
The exponentiated subgradient algorithm for heuristic boolean programming
-
Lawrence Erlbaum associates LTD, USA
-
Schuurmans, D. Southey, F., Holte, R.: The exponentiated subgradient algorithm for heuristic boolean programming. In: Proceedings of the international joint conference on artificial intelligence, vol. 17, pp. 334-341. Lawrence Erlbaum associates LTD., USA (2001)
-
(2001)
Proceedings of the international joint conference on artificial intelligence
, vol.17
, pp. 334-341
-
-
Schuurmans, D.1
Southey, F.2
Holte, R.3
-
25
-
-
84948952917
-
-
Battiti. R., Protasi, M.: Reactive search. a history-sensitive heuristic for MAXSAT. ACM Journal of Experimental Algorithmics 2 (ARTICLE 2) (1997), http://www.jea.acm.org/
-
Battiti. R., Protasi, M.: Reactive search. a history-sensitive heuristic for MAXSAT. ACM Journal of Experimental Algorithmics 2 (ARTICLE 2) (1997), http://www.jea.acm.org/
-
-
-
|