-
1
-
-
33644511374
-
Fine-tuning of algorithms using fractional experimental design and local search
-
Adenso-Diaz, B., and Laguna, M. 2006. Fine-tuning of algorithms using fractional experimental design and local search. Operations Research 54(1):99-114.
-
(2006)
Operations Research
, vol.54
, Issue.1
, pp. 99-114
-
-
Adenso-Diaz, B.1
Laguna, M.2
-
3
-
-
33750326241
-
Reactive search: Machine learning for memory-based heuristics
-
Technical Report DIT-05-058, Università Degli Studi Di Trento, Trento, Italy
-
Battiti, R., and Brunato, M. 2005. Reactive search: machine learning for memory-based heuristics. Technical Report DIT-05-058, Università Degli Studi Di Trento, Trento, Italy.
-
(2005)
-
-
Battiti, R.1
Brunato, M.2
-
4
-
-
14644421108
-
A racing algorithm for configuring metaheuristics
-
Birattari, M.; Stützle, T.; Paquete, L.; and Varrentrapp, K. 2002. A racing algorithm for configuring metaheuristics. In Proc. of GECCO-02, 11-18.
-
(2002)
Proc. of GECCO-02
, pp. 11-18
-
-
Birattari, M.1
Stützle, T.2
Paquete, L.3
Varrentrapp, K.4
-
6
-
-
0035128384
-
Using experimental design to find effective parameter settings for heuristics
-
Coy, S. P.; Golden, B. L.; Runger, G. C.; and Wasil, E. A. 2001. Using experimental design to find effective parameter settings for heuristics. Journal of Heuristics 7(1):77-97.
-
(2001)
Journal of Heuristics
, vol.7
, Issue.1
, pp. 77-97
-
-
Coy, S.P.1
Golden, B.L.2
Runger, G.C.3
Wasil, E.A.4
-
7
-
-
30344450270
-
An extensible SAT solver
-
Eén, N., and Sörensson, N. 2003. An extensible SAT solver. In Proc. of SAT-03, 502-518.
-
(2003)
Proc. of SAT-03
, pp. 502-518
-
-
Eén, N.1
Sörensson, N.2
-
8
-
-
0032596422
-
Morphing: Combining structure and randomness
-
Gent, I. P.; Hoos, H. H.; Prosser, P.; and Walsh, T. 1999. Morphing: Combining structure and randomness. In Proc. of AAAI-99, 654-660.
-
(1999)
Proc. of AAAI-99
, pp. 654-660
-
-
Gent, I.P.1
Hoos, H.H.2
Prosser, P.3
Walsh, T.4
-
10
-
-
33750380289
-
Performance prediction and automated tuning of randomized and parametric algorithms
-
Hutter, F.; Hamadi, Y.; Leyton-Brown, K.; and Hoos, H. H. 2006. Performance prediction and automated tuning of randomized and parametric algorithms. In Proc. of CP-06, 213-228.
-
(2006)
Proc. of CP-06
, pp. 213-228
-
-
Hutter, F.1
Hamadi, Y.2
Leyton-Brown, K.3
Hoos, H.H.4
-
11
-
-
36348951048
-
Boosting verification by automatic tuning of decision procedures
-
Manuscript in preparation
-
Hutter, F.; Babić, D.; Hoos, H. H.; and Hu, A. J. 2007. Boosting verification by automatic tuning of decision procedures. Manuscript in preparation.
-
(2007)
-
-
Hutter, F.1
Babić, D.2
Hoos, H.H.3
Hu, A.J.4
-
12
-
-
36348982863
-
Efficient stochastic local search for MPE solving
-
Hutter, F.; Hoos, H. H.; and Stützle, T. 2005. Efficient stochastic local search for MPE solving. In Proc. of IJCAI-05, 169-174.
-
(2005)
Proc. of IJCAI-05
, pp. 169-174
-
-
Hutter, F.1
Hoos, H.H.2
Stützle, T.3
-
13
-
-
84957015736
-
Scaling and probabilistic smoothing: Efficient dynamic local search for SAT
-
Hutter, F.; Tompkins, D. A. D.; and Hoos, H. H. 2002. Scaling and probabilistic smoothing: Efficient dynamic local search for SAT. In Proc. of CP-02, 233-248.
-
(2002)
Proc. of CP-02
, pp. 233-248
-
-
Hutter, F.1
Tompkins, D.A.D.2
Hoos, H.H.3
-
15
-
-
0030232147
-
Automatically configuring constraint satisfaction programs: A case study
-
Minton, S. 1996. Automatically configuring constraint satisfaction programs: A case study. Constraints 1(1): 1-40.
-
(1996)
Constraints
, vol.1
, Issue.1
, pp. 1-40
-
-
Minton, S.1
-
16
-
-
25144485345
-
Evolving evolutionary algorithms using linear genetic programming
-
Oltean, M. 2005. Evolving evolutionary algorithms using linear genetic programming. Evolutionary Computation 13(3):387-410.
-
(2005)
Evolutionary Computation
, vol.13
, Issue.3
, pp. 387-410
-
-
Oltean, M.1
-
17
-
-
36048965924
-
Replica exchange Monte Carlo for protein folding in the HP model
-
Submitted to
-
Thachuk, C.; Shmygelska, A.; and Hoos, H. H. 2007. Replica exchange Monte Carlo for protein folding in the HP model. Submitted to BMC Bioinformatics.
-
(2007)
BMC Bioinformatics
-
-
Thachuk, C.1
Shmygelska, A.2
Hoos, H.H.3
|