-
2
-
-
85170002045
-
-
Cook SA. The complexity of theorem-proving procedures. In: Proceedings of the third annual ACM symposium on theory of computing, association for computing machinery, New York; 1971. p. 151-8.
-
Cook SA. The complexity of theorem-proving procedures. In: Proceedings of the third annual ACM symposium on theory of computing, association for computing machinery, New York; 1971. p. 151-8.
-
-
-
-
3
-
-
1842763857
-
The theory and practice of simulated annealing
-
Glover F., and Kochenberger G. (Eds), Kluwer Academic Publishers, Norwell, MA [chapter 10]
-
Henderson D., Jacobson S.H., and Johnson A.W. The theory and practice of simulated annealing. In: Glover F., and Kochenberger G. (Eds). Handbook on metaheuristics (2003), Kluwer Academic Publishers, Norwell, MA 287-319 [chapter 10]
-
(2003)
Handbook on metaheuristics
, pp. 287-319
-
-
Henderson, D.1
Jacobson, S.H.2
Johnson, A.W.3
-
4
-
-
0345506717
-
Genetic algorithms
-
Kluwer Academic Publishing, Norwell, MA [chapter 3]
-
Reeves C. Genetic algorithms. Handbook of metaheuristics (2003), Kluwer Academic Publishing, Norwell, MA [chapter 3]
-
(2003)
Handbook of metaheuristics
-
-
Reeves, C.1
-
5
-
-
0004215426
-
-
Kluwer Academic Publishing, Norwell, MA
-
Glover F., and Laguna M. Tabu search (1997), Kluwer Academic Publishing, Norwell, MA
-
(1997)
Tabu search
-
-
Glover, F.1
Laguna, M.2
-
6
-
-
25144482720
-
Threshold accepting: a general purpose optimization algorithm appearing superior to simulated annealing
-
Dueck G., and Scheuer T. Threshold accepting: a general purpose optimization algorithm appearing superior to simulated annealing. Journal of Computational Physics 90 (1990) 161-175
-
(1990)
Journal of Computational Physics
, vol.90
, pp. 161-175
-
-
Dueck, G.1
Scheuer, T.2
-
7
-
-
0035900276
-
The noising methods: a generalization of some metaheuristics
-
Charon I., and Hudry O. The noising methods: a generalization of some metaheuristics. European Journal of Operational Research 135 1 (2001) 86-101
-
(2001)
European Journal of Operational Research
, vol.135
, Issue.1
, pp. 86-101
-
-
Charon, I.1
Hudry, O.2
-
8
-
-
33644511374
-
Fine-tuning of algorithms using fractional experimental designs and local search
-
Adenso-Diaz B., and Laguna M. Fine-tuning of algorithms using fractional experimental designs and local search. Operations Research 54 1 (2006) 99-114
-
(2006)
Operations Research
, vol.54
, Issue.1
, pp. 99-114
-
-
Adenso-Diaz, B.1
Laguna, M.2
-
9
-
-
85169999579
-
-
Gu J, Purdom PW, Franco J, Wah BW. Algorithms for the satisfiability problem: a survey. In: Du D, Gu J, Pardalos PM, editors, DIMACS series in discrete mathematics and theoretical computer science, volume 35: satisfiability problem: theory and applications: proceedings of a DIMACS workshop, March 11-13; 1996. p. 19-130.
-
Gu J, Purdom PW, Franco J, Wah BW. Algorithms for the satisfiability problem: a survey. In: Du D, Gu J, Pardalos PM, editors, DIMACS series in discrete mathematics and theoretical computer science, volume 35: satisfiability problem: theory and applications: proceedings of a DIMACS workshop, March 11-13; 1996. p. 19-130.
-
-
-
-
10
-
-
33748279816
-
The permutation flow shop problem with blocking: a tabu search approach
-
Garbowski J., and Pempera J. The permutation flow shop problem with blocking: a tabu search approach. Omega 35 3 (2007) 302-311
-
(2007)
Omega
, vol.35
, Issue.3
, pp. 302-311
-
-
Garbowski, J.1
Pempera, J.2
-
11
-
-
0036273802
-
Planning and re-planning in project and production scheduling
-
Calhoun K.M., Deckro R.F., Moore J.T., Chrissis J.W., and Van Hove J.C. Planning and re-planning in project and production scheduling. Omega 30 3 (2002) 155-170
-
(2002)
Omega
, vol.30
, Issue.3
, pp. 155-170
-
-
Calhoun, K.M.1
Deckro, R.F.2
Moore, J.T.3
Chrissis, J.W.4
Van Hove, J.C.5
-
12
-
-
24144456258
-
Total tardiness minimization on unrelated parallel machine scheduling with auxiliary equipment constraints
-
Chen J.-F., and Wu T.-H. Total tardiness minimization on unrelated parallel machine scheduling with auxiliary equipment constraints. Omega 34 1 (2006) 81-89
-
(2006)
Omega
, vol.34
, Issue.1
, pp. 81-89
-
-
Chen, J.-F.1
Wu, T.-H.2
-
13
-
-
33748253462
-
A hybrid heuristic for the uncapacitated single allocation hub location problem
-
Chen J.-F. A hybrid heuristic for the uncapacitated single allocation hub location problem. Omega 35 2 (2007) 211-220
-
(2007)
Omega
, vol.35
, Issue.2
, pp. 211-220
-
-
Chen, J.-F.1
-
14
-
-
0035447517
-
Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental evaluation
-
Yagiura M., and Ibaraki T. Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental evaluation. Journal of Heuristics 7 5 (2001) 423-442
-
(2001)
Journal of Heuristics
, vol.7
, Issue.5
, pp. 423-442
-
-
Yagiura, M.1
Ibaraki, T.2
-
15
-
-
85170007889
-
-
Smyth K, Hoos HH, Stutzle T. Iterated robust tabu search for MAX_SAT, In: Advances in artificial intelligence, proceedings, Lecture notes in artificial intelligence, vol. 2671; 2003. p. 129-44.
-
Smyth K, Hoos HH, Stutzle T. Iterated robust tabu search for MAX_SAT, In: Advances in artificial intelligence, proceedings, Lecture notes in artificial intelligence, vol. 2671; 2003. p. 129-44.
-
-
-
-
17
-
-
0003990308
-
-
Prentice-Hall Inc., Upper Saddle River, NJ
-
Banks J., Carson J.S., Nelson B.L., and Nicol D.M. Discrete event system simulation. 3rd ed. (2001), Prentice-Hall Inc., Upper Saddle River, NJ
-
(2001)
Discrete event system simulation. 3rd ed.
-
-
Banks, J.1
Carson, J.S.2
Nelson, B.L.3
Nicol, D.M.4
-
18
-
-
0345633667
-
On the complexity of verifying structural properties of discrete event simulation models
-
Jacobson S.H., and Yucesan E. On the complexity of verifying structural properties of discrete event simulation models. Operations Research 47 3 (1999) 476-481
-
(1999)
Operations Research
, vol.47
, Issue.3
, pp. 476-481
-
-
Jacobson, S.H.1
Yucesan, E.2
-
19
-
-
0036475926
-
Common issues in discrete-event simulation and discrete optimization
-
Jacobson S.H., and Yucesan E. Common issues in discrete-event simulation and discrete optimization. IEEE Transactions on Automatic Control 47 2 (2002) 341-345
-
(2002)
IEEE Transactions on Automatic Control
, vol.47
, Issue.2
, pp. 341-345
-
-
Jacobson, S.H.1
Yucesan, E.2
-
20
-
-
0002828161
-
SATLIB: an online resource for research on SAT
-
Gent I.P., Maaren H.V., and Walsh T. (Eds), IOS Press, Amsterdam
-
Hoos H.H., and Stützle T. SATLIB: an online resource for research on SAT. In: Gent I.P., Maaren H.V., and Walsh T. (Eds). SAT2000 (2000), IOS Press, Amsterdam 283-292
-
(2000)
SAT2000
, pp. 283-292
-
-
Hoos, H.H.1
Stützle, T.2
-
21
-
-
0003625523
-
-
Prentice-Hall, Upper Saddle River, NJ
-
Walpole R.E., Myers R.H., Myers S.L., and Ye K. Probability and statistics for engineers and scientists. 7th ed. (2002), Prentice-Hall, Upper Saddle River, NJ
-
(2002)
Probability and statistics for engineers and scientists. 7th ed.
-
-
Walpole, R.E.1
Myers, R.H.2
Myers, S.L.3
Ye, K.4
-
22
-
-
85170007998
-
-
Jacobson SH, McLay LA. An empirical study of tabu search applied to MAX 3-SATISFIABILITY. Technical Report, Department of Computer Science, University of Illinois, Urbana, IL; 2007.
-
Jacobson SH, McLay LA. An empirical study of tabu search applied to MAX 3-SATISFIABILITY. Technical Report, Department of Computer Science, University of Illinois, Urbana, IL; 2007.
-
-
-
-
24
-
-
85170013913
-
-
Nelson BL. Designing efficient simulation experiments. In: Proceedings of the 1992 Winter simulation conference, Arlington, VA; 1992. p. 126-32.
-
Nelson BL. Designing efficient simulation experiments. In: Proceedings of the 1992 Winter simulation conference, Arlington, VA; 1992. p. 126-32.
-
-
-
-
25
-
-
0001338090
-
Using common random numbers for indifference-zone selection and multiple comparisons in simulation
-
Nelson B.L., and Matejcik F.J. Using common random numbers for indifference-zone selection and multiple comparisons in simulation. Management Science 41 12 (1995) 1935-1945
-
(1995)
Management Science
, vol.41
, Issue.12
, pp. 1935-1945
-
-
Nelson, B.L.1
Matejcik, F.J.2
-
26
-
-
0032275840
-
Statistical screening, selection, and multiple comparison procedures in computer simulation
-
Medeiros D.J., Watson E.F., Carson J.S., and Manivannan M.S. (Eds), IEEE, Piscataway, NJ
-
Goldsman D., and Nelson B.L. Statistical screening, selection, and multiple comparison procedures in computer simulation. In: Medeiros D.J., Watson E.F., Carson J.S., and Manivannan M.S. (Eds). Proceedings of the 1998 winter simulation conference (1998), IEEE, Piscataway, NJ 159-166
-
(1998)
Proceedings of the 1998 winter simulation conference
, pp. 159-166
-
-
Goldsman, D.1
Nelson, B.L.2
-
27
-
-
0003513355
-
-
Wiley, New York
-
Bechhofer R.E., Santner T.J., and Goldsman D.M. Design and analysis of experiments for statistical selection, screening, and multiple comparisons (1995), Wiley, New York
-
(1995)
Design and analysis of experiments for statistical selection, screening, and multiple comparisons
-
-
Bechhofer, R.E.1
Santner, T.J.2
Goldsman, D.M.3
-
28
-
-
0003187708
-
Multivariate normal probability integrals with product correlation structure
-
[Correction: 42, 709]
-
Dunnett C.W. Multivariate normal probability integrals with product correlation structure. Applied Statistics 38 (1989) 564-579 [Correction: 42, 709]
-
(1989)
Applied Statistics
, vol.38
, pp. 564-579
-
-
Dunnett, C.W.1
|