메뉴 건너뛰기




Volumn 37, Issue 3, 2009, Pages 522-534

Applying statistical tests to empirically compare tabu search parameters for MAX 3-SATISFIABILITY: A case study

Author keywords

Discrete event simulation; Hypothesis testing; Multiple comparisons with the best; Ranking and selection; Tabu search

Indexed keywords

SIMULATED ANNEALING; STATISTICAL TESTS; STATISTICS; STOCHASTIC SYSTEMS; TABU SEARCH;

EID: 50349096162     PISSN: 03050483     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.omega.2007.09.003     Document Type: Article
Times cited : (2)

References (28)
  • 2
    • 85170002045 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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.
  • 18
    • 0345633667 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 22
    • 85170007998 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 28
    • 0003187708 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.