-
1
-
-
0030646117
-
Search and imperative programming
-
Paris, France
-
Apt, K.R., & Schaerf, A. (1997) Search and imperative programming. In ACM SIGPLAN-SIGACT Symposium on Programming Languages (POPL'97), Paris, France, pp. 67-79.
-
(1997)
ACM SIGPLAN-SIGACT Symposium on Programming Languages (POPL'97)
, pp. 67-79
-
-
Apt, K.R.1
Schaerf, A.2
-
3
-
-
0031997369
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
37
-
-
0011771726
-
A tightly integrated modelling and optimisation library: A new frame-work for rapid algorithm development
-
Limassol, Cyprus
-
Tebboth, J., & Daniel, R. (1998). A tightly integrated modelling and optimisation library: a new frame-work for rapid algorithm development, Proceedings of Applied Mathematical Programming and Modeling, (APMOD '98), Limassol, Cyprus.
-
(1998)
Proceedings of Applied Mathematical Programming and Modeling, (APMOD '98)
-
-
Tebboth, J.1
Daniel, R.2
|