-
1
-
-
33644511374
-
Fine-tuning of algorithms using fractional experimental design and local search
-
B. Adenso-Diaz and M. Laguna. Fine-tuning of algorithms using fractional experimental design and local search. Operations Research, 54(1):99-114, 2006.
-
(2006)
Operations Research
, vol.54
, Issue.1
, pp. 99-114
-
-
Adenso-Diaz, B.1
Laguna, M.2
-
4
-
-
77955008609
-
Predicting learnt clauses quality in modern SAT solvers
-
Pasadena, California, USA, July 11-17, 2009
-
G. Audemard and L. Simon. Predicting learnt clauses quality in modern SAT solvers. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 399-404, 2009.
-
(2009)
IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence
, pp. 399-404
-
-
Audemard, G.1
Simon, L.2
-
5
-
-
0004140739
-
-
Combinatorial Optimization Problems and their Approximability Properties
-
G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti Spaccamela, and M. Protasi. Complexity and approximation. Combinatorial Optimization Problems and their Approximability Properties, 1999.
-
(1999)
Complexity and Approximation
-
-
Ausiello, G.1
Crescenzi, P.2
Gambosi, G.3
Kann, V.4
Marchetti Spaccamela, A.5
Protasi, M.6
-
6
-
-
0001096735
-
Genetic algorithms and random keys for sequencing and optimization
-
J.C. Bean. Genetic algorithms and random keys for sequencing and optimization. ORSA Journal on Computing, 6(2):154-160, 1994.
-
(1994)
ORSA Journal on Computing
, vol.6
, Issue.2
, pp. 154-160
-
-
Bean, J.C.1
-
7
-
-
84952709103
-
Lingeling essentials, A tutorial on design and implementation aspects of the the SAT solver lingeling
-
July 13, 2014, Vienna, Austria
-
A. Biere. Lingeling essentials, A tutorial on design and implementation aspects of the the SAT solver lingeling. In POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria, page 88, 2014.
-
(2014)
POS-14. Fifth Pragmatics of SAT Workshop, a Workshop of the SAT 2014 Conference, Part of FLoC 2014 During the Vienna Summer of Logic
, pp. 88
-
-
Biere, A.1
-
8
-
-
77956050417
-
F-race and iterated f-race: An overview
-
M. Birattari, Z. Yuan, P. Balaprakash, and T. Stützle. F-race and iterated f-race: An overview. In Empirical Methods for the Analysis of Optimization Algorithms, pages 311-336, 2010.
-
(2010)
Empirical Methods for the Analysis of Optimization Algorithms
, pp. 311-336
-
-
Birattari, M.1
Yuan, Z.2
Balaprakash, P.3
Stützle, T.4
-
10
-
-
0347899800
-
Fundamentals of scatter search and path relinking
-
F. Glover, M. Laguna, and R. Marti. Fundamentals of scatter search and path relinking. Control and Cybernetics, 39:653-684, 2000.
-
(2000)
Control and Cybernetics
, vol.39
, pp. 653-684
-
-
Glover, F.1
Laguna, M.2
Marti, R.3
-
13
-
-
73649115991
-
Paramils: An automatic algorithm configuration framework
-
F. Hutter, H.H. Hoos, K. Leyton-Brown, and T. Stuetzle. Paramils: An automatic algorithm configuration framework. JAIR, 36:267-306, 2009.
-
(2009)
JAIR
, vol.36
, pp. 267-306
-
-
Hutter, F.1
Hoos, H.H.2
Leyton-Brown, K.3
Stuetzle, T.4
-
14
-
-
84868554032
-
Sequential model-based optimization for general algorithm configuration
-
LION 5, Rome, Italy, January 17-21, 2011. Selected Papers
-
F. Hutter, H.H. Hoos, and K. Leyton-Brown. Sequential model-based optimization for general algorithm configuration. In Learning and Intelligent Optimization - 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers, pages 507-523, 2011.
-
(2011)
Learning and Intelligent Optimization - 5th International Conference
, pp. 507-523
-
-
Hutter, F.1
Hoos, H.H.2
Leyton-Brown, K.3
-
15
-
-
84863906586
-
Surrogate-assisted evolutionary computation: Recent advances and future challenges
-
Y. Jin. Surrogate-assisted evolutionary computation: Recent advances and future challenges. Swarm and Evolutionary Computation, 1(2):61-70, 2011.
-
(2011)
Swarm and Evolutionary Computation
, vol.1
, Issue.2
, pp. 61-70
-
-
Jin, Y.1
-
17
-
-
77956044105
-
ISAC-instance-specific algorithm configuration
-
Helder Coelho, Rudi Studer, and Michael Wooldridge, editors IOS Press
-
S. Kadioglu, Y. Malitsky, M. Sellmann, and K. Tierney. ISAC-Instance-Specific Algorithm Configuration. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 751-756. IOS Press, 2010.
-
(2010)
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), Volume 215 of Frontiers in Artificial Intelligence and Applications
, pp. 751-756
-
-
Kadioglu, S.1
Malitsky, Y.2
Sellmann, M.3
Tierney, K.4
-
18
-
-
84892931795
-
Tuning parameters of large neighborhood search for the Machine reassignment problem
-
Springer
-
Y. Malitsky, D. Mehta, B. O'Sullivan, and H. Simonis. Tuning parameters of large neighborhood search for the machine reassignment problem. In Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, pages 176-192. Springer, 2013.
-
(2013)
Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems
, pp. 176-192
-
-
Malitsky, Y.1
Mehta, D.2
O'Sullivan, B.3
Simonis, H.4
-
20
-
-
18544381254
-
Informed operators: Speeding up genetic-algorithm-based design optimization using reduced models
-
Morgan Kaufmann
-
K. Rasheed and H. Hirsh. Informed operators: Speeding up genetic-algorithm-based design optimization using reduced models. In In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO, pages 628-635. Morgan Kaufmann, 2000.
-
(2000)
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO
, pp. 628-635
-
-
Rasheed, K.1
Hirsh, H.2
-
21
-
-
0029006732
-
MHC-dependent mate preferences in humans
-
C. Wedekind, T. Seebeck, F. Bettens, and A.J. Paepke. Mhc-dependent mate preferences in humans. Proceedings of the Royal Society of London. Series B: Biological Sciences, 260 (1359):245-249, 1995.
-
(1995)
Proceedings of the Royal Society of London. Series B: Biological Sciences
, vol.260
, Issue.1359
, pp. 245-249
-
-
Wedekind, C.1
Seebeck, T.2
Bettens, F.3
Paepke, A.J.4
-
22
-
-
84896063795
-
-
SAT Competition
-
L. Xu, F. Hutter, J. Shen, H.H. Hoos, and K. Leyton-Brown. Satzilla2012: Improved algorithm selection based on cost-sensitive classification models, 2012. SAT Competition.
-
(2012)
Satzilla2012: Improved Algorithm Selection Based on Cost-sensitive Classification Models
-
-
Xu, L.1
Hutter, F.2
Shen, J.3
Hoos, H.H.4
Leyton-Brown, K.5
|