메뉴 건너뛰기




Volumn 7, Issue 3-4, 2002, Pages 255-288

SALSA: A language for search algorithms

Author keywords

Constraint systems; Hybrid algorithms; Search

Indexed keywords

ALGORITHMS; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING; SOFTWARE ENGINEERING;

EID: 0036662851     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020565317875     Document Type: Conference Paper
Times cited : (14)

References (39)
  • 3
    • 0031997369 scopus 로고    scopus 로고
    • Guided local search with shifting bottleneck for job shop scheduling
    • Balas, E., & Vazacopoulos, A. (1998). Guided local search with shifting bottleneck for job shop scheduling, Management Science, 44(2).
    • (1998) Management Science , vol.44 , Issue.2
    • Balas, E.1    Vazacopoulos, A.2
  • 5
    • 0033355838 scopus 로고    scopus 로고
    • Heuristics for large constrained vehicle routing problems
    • Caseau, Y., & Laburthe, F. (1999). Heuristics for large constrained vehicle routing problems. Journal of Heuristics, 5(3): 281-303.
    • (1999) Journal of Heuristics , vol.5 , Issue.3 , pp. 281-303
    • Caseau, Y.1    Laburthe, F.2
  • 6
    • 84957009774 scopus 로고    scopus 로고
    • A meta-heuristics factory for vehicle routing problems
    • Jaffar, J., ed.. LNCS 1713, Springer-Verlag, Berlin
    • Caseau, Y., Laburthe, F., & Silverstein, G. (1999). A meta-heuristics factory for vehicle routing problems. In Jaffar, J., ed., Proceedings of CP'99. LNCS 1713, Springer-Verlag, Berlin.
    • (1999) Proceedings of CP'99
    • Caseau, Y.1    Laburthe, F.2    Silverstein, G.3
  • 7
    • 26344462570 scopus 로고    scopus 로고
    • Optimisation combinatoire en temps limité: Depth first branch and bound adaptatif
    • Fages, F., ed., Hermes Science Publication
    • De Givry, S., & Saveant, P. (1999). Optimisation combinatoire en Temps Limité: Depth First Branch and Bound adaptatif. Fages, F., ed., Proceedings of JFPLC'99, Hermes Science Publication.
    • (1999) Proceedings of JFPLC'99
    • De Givry, S.1    Saveant, P.2
  • 8
    • 34250074609 scopus 로고
    • Applying tabu-search to the job-shop scheduling problem
    • Dell' Amico, M., & Trubian, M. (1993). Applying tabu-search to the job-shop scheduling problem. Annals of Operations Research, 41: 231-252.
    • (1993) Annals of Operations Research , vol.41 , pp. 231-252
    • Dell' Amico, M.1    Trubian, M.2
  • 12
    • 0028530194 scopus 로고
    • A tabu search heuristic for the vehicle routing problem
    • Gendreau, M., Hertz, A., & Laporte, G. (1994). A tabu search heuristic for the vehicle routing problem. Management Science, 40: 1276-1290.
    • (1994) Management Science , vol.40 , pp. 1276-1290
    • Gendreau, M.1    Hertz, A.2    Laporte, G.3
  • 13
    • 0011714462 scopus 로고
    • Inductive and deductive control of logic programs
    • Helm, R. (1987). Inductive and deductive control of logic programs. In Proceedings of ICPL 87, pages 488-512.
    • (1987) Proceedings of ICPL 87 , pp. 488-512
    • Helm, R.1
  • 15
    • 22444452448 scopus 로고    scopus 로고
    • Controlling search in declarative programs
    • Hanus, M., & Steiner, F. (1998). Controlling search in declarative programs. PLIP/ALP, pages 374-390.
    • (1998) PLIP/ALP , pp. 374-390
    • Hanus, M.1    Steiner, F.2
  • 18
    • 84957359127 scopus 로고    scopus 로고
    • A framework for constraint programming based column generation
    • Jaffar, J., ed., LNCS 1713, Springer-Verlag
    • Junker, U., Karish, S., Kohl, N., Vaaben, B., Fahle, T., & Sellmann, M. (1999). A framework for constraint programming based column generation. In Jaffar, J., ed., Proceedings of CP'99. LNCS 1713, Springer-Verlag.
    • (1999) Proceedings of CP'99
    • Junker, U.1    Karish, S.2    Kohl, N.3    Vaaben, B.4    Fahle, T.5    Sellmann, M.6
  • 19
    • 84976816925 scopus 로고
    • Algorithm = logic + control
    • Kowalski, R.A. (1979). Algorithm = logic + control. GACM, 22(7): 424-436.
    • (1979) GACM , vol.22 , Issue.7 , pp. 424-436
    • Kowalski, R.A.1
  • 20
    • 0015604699 scopus 로고
    • An effective heuristic for the traveling salesman problem
    • Lin, S., & Kernighan, B.W. (1973). An effective heuristic for the traveling salesman problem. Operations Research, 21.
    • (1973) Operations Research , pp. 21
    • Lin, S.1    Kernighan, B.W.2
  • 21
    • 0031641796 scopus 로고    scopus 로고
    • Branch and bound algorithm selection by performance prediction
    • Madison, WI
    • Lobjois, L., & Lemaître, M. (1998). Branch and bound algorithm selection by performance prediction. In Proceedings of AAAI'98, Madison, WI.
    • (1998) Proceedings of AAAI'98
    • Lobjois, L.1    Lemaître, M.2
  • 23
    • 0011770058 scopus 로고    scopus 로고
    • A time-based approach to the jobshop problem
    • Queyranne, M., ed., LCNS 1084, Springer-Verlag
    • Martin, D., & Shmoys, P. (1996). A time-based approach to the jobshop problem. In Queyranne, M., ed., Proceedings of IPCO'5. LCNS 1084, Springer-Verlag.
    • (1996) Proceedings of IPCO'5
    • Martin, D.1    Shmoys, P.2
  • 24
    • 0037828088 scopus 로고    scopus 로고
    • Localizer: A modeling language for local search
    • LNCS 1330, Springer-Verlag
    • Michel, L., & Van Hentenryck, P. (1997). Localizer: a modeling language for local search. In Proceedings of CP'97. LNCS 1330, Springer-Verlag.
    • (1997) Proceedings of CP'97
    • Michel, L.1    Van Hentenryck, P.2
  • 26
    • 0021631544 scopus 로고
    • Heterogeneous SLD resolution
    • Naish, L. (1984). Heterogeneous SLD resolution, Journal of Logic Programming, 1(4): 297-303.
    • (1984) Journal of Logic Programming , vol.1 , Issue.4 , pp. 297-303
    • Naish, L.1
  • 28
    • 84957371379 scopus 로고    scopus 로고
    • Search procedures and parallelism in constraint programming
    • Jaffar, J., ed., LNCS 1713, Springer-Verlag
    • Perron, L. (1999). Search procedures and parallelism in constraint programming. In Jaffar, J., ed., Proceedings of CP'99. LNCS 1713, Springer-Verlag.
    • (1999) Proceedings of CP'99
    • Perron, L.1
  • 29
    • 84957889890 scopus 로고    scopus 로고
    • A view of local search in constraint programming
    • LNCS 1118, Springer-Verlag
    • Pesant, G., & Gendreau, M. (1996). A view of local search in constraint programming. Proceedings of CP'96. pages 353-366. LNCS 1118, Springer-Verlag.
    • (1996) Proceedings of CP'96 , pp. 353-366
    • Pesant, G.1    Gendreau, M.2
  • 30
    • 0011771725 scopus 로고    scopus 로고
    • Constraint programming: A framework for mathematical programming
    • Invited Lecture, Ferrara
    • Puget, J.-F. (1999). Constraint programming: a framework for mathematical programming. Invited Lecture, CP-AI-OR workshop, Ferrara.
    • (1999) CP-AI-OR workshop
    • Puget, J.-F.1
  • 31
    • 0001407513 scopus 로고
    • Hybrid heuristics for the vehicle routing problem with time windows
    • Russell, R. (1995). Hybrid heuristics for the vehicle routing problem with time windows. Transportation Science, 29(2).
    • (1995) Transportation Science , vol.29 , Issue.2
    • Russell, R.1
  • 32
    • 0002829495 scopus 로고
    • Encapsulated search for higher-order concurrent constraint programming
    • MIT Press
    • Schulte, C., & Smolka, G. (1994). Encapsulated search for higher-order concurrent constraint programming. In Proceedings of ILPS'94, pages 505-520. MIT Press.
    • (1994) Proceedings of ILPS'94 , pp. 505-520
    • Schulte, C.1    Smolka, G.2
  • 33
    • 0011715374 scopus 로고    scopus 로고
    • Oz explorer: A visual constraint programming tool
    • Naish, L., ed., MIT Press
    • Schulte, C. (1997). Oz explorer: a visual constraint programming tool. In Naish, L., ed., Proceedings 14th ICLP, pages 286-300. MIT Press.
    • (1997) Proceedings 14th ICLP , pp. 286-300
    • Schulte, C.1
  • 34
    • 0027001335 scopus 로고
    • A new method for solving hard satisfiability problems
    • Selman, B., Levesque, & H., Mitchell, D. (1992). A new method for solving hard satisfiability problems. In Proceedings of AAAI-92, pages 440-446.
    • (1992) Proceedings of AAAI-92 , pp. 440-446
    • Selman, B.1    Levesque, H.2    Mitchell, D.3
  • 35
    • 0000383174 scopus 로고    scopus 로고
    • Using constraint programming and local search methods to solve vehicle routing problems
    • LNCS 1520, Springer-Verlag
    • Shaw, P. (1998). Using constraint programming and local search methods to solve vehicle routing problems. In Proceedings of CP'98. LNCS 1520, Springer-Verlag.
    • (1998) Proceedings of CP'98
    • Shaw, P.1
  • 36
    • 0011715789 scopus 로고    scopus 로고
    • Search tree debugging
    • Fages, F., ed., Hermes Science Publication
    • Simonis, H., & Aggoun, A. (1999). Search tree debugging. In Fages, F., ed., Proceedings of JFPLC'99. Hermes Science Publication.
    • (1999) Proceedings of JFPLC'99
    • Simonis, H.1    Aggoun, A.2


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