-
1
-
-
18144438789
-
Minimal perturbation problem - A formal view
-
Roman Barták, Tomáš Müller, and Hana Rudová. Minimal Perturbation Problem - A Formal View. Neural Network World 13(5): 501-511, 2003.
-
(2003)
Neural Network World
, vol.13
, Issue.5
, pp. 501-511
-
-
Barták, R.1
Müller, T.2
Rudová, H.3
-
2
-
-
0041987225
-
An open-ended finite domain constraint solver
-
Springer-Verlag LNCS 1292
-
Mats Carlsson, Greger Ottosson, and Bjorn Carlson. An open-ended finite domain constraint solver. In Programming Languages: Implementations, Logics, and Programming. Springer-Verlag LNCS 1292, 1997.
-
(1997)
Programming Languages: Implementations, Logics, and Programming
-
-
Carlsson, M.1
Ottosson, G.2
Carlson, B.3
-
3
-
-
9444281043
-
ECLiPSe: An introduction
-
IC-Parc, Imperial College London
-
Andrew M. Cheadle, Warwick Harvey, Andrew J. Sadler, Joachim Schimpf, Kish Shen and Mark G. Wallace. ECLiPSe: An Introduction. IC-Parc, Imperial College London, Technical Report IC-Parc-03-1, 2003.
-
(2003)
Technical Report
, vol.IC-PARC-03-1
-
-
Cheadle, A.M.1
Harvey, W.2
Sadler, A.J.3
Schimpf, J.4
Shen, K.5
Wallace, M.G.6
-
4
-
-
85102188694
-
Belief maintenance in dynamic constraint networks
-
Rina Dechter and Avi Dechter. Belief maintenance in dynamic constraint networks. In Proceedings of AAAI-88, pp. 37-42, 1998.
-
(1998)
Proceedings of AAAI-88
, pp. 37-42
-
-
Dechter, R.1
Dechter, A.2
-
7
-
-
0034288713
-
Probe backtrack search for minimal perturbation in dynamic scheduling
-
Kluwer Academic Publishers
-
Hani El Sakkout and Mark Wallace. Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. Constraints 4(5): 359-388. Kluwer Academic Publishers, 2000.
-
(2000)
Constraints
, vol.4
, Issue.5
, pp. 359-388
-
-
El Sakkout, H.1
Wallace, M.2
-
11
-
-
0036641319
-
Local search with constraint propagation and conflict-based heuristics
-
Narendra Jussien and Olivier Lhomme. Local search with constraint propagation and conflict-based heuristics. Artificial Intelligence, 139(1):21-45, 2002.
-
(2002)
Artificial Intelligence
, vol.139
, Issue.1
, pp. 21-45
-
-
Jussien, N.1
Lhomme, O.2
-
12
-
-
9444245449
-
Dynamic scheduling: State of the art report
-
ISSN 100-3154
-
Waldemar Kocjan. Dynamic scheduling: State of the art report, SICS Technical Report T2002:28, ISSN 100-3154, 2002.
-
(2002)
SICS Technical Report
, vol.T2002
, Issue.28
-
-
Kocjan, W.1
-
13
-
-
9444239393
-
Interactive timetabling: Concepts, techniques, and practical results
-
Edmund Burke and Patrick De Causmaecker (eds.), Gent
-
Tomáš Müller and Roman Barták. Interactive Timetabling: Concepts, Techniques, and Practical Results. In Edmund Burke and Patrick De Causmaecker (eds.): Proceedings of PATAT2002, Gent, pp. 58-72, 2002.
-
(2002)
Proceedings of PATAT2002
, pp. 58-72
-
-
Müller, T.1
Barták, R.2
-
15
-
-
35248845686
-
University course timetabling with soft constraints
-
Edmund Burke and Patrick De Causmaecker (eds.). Springer-Verlag LNCS 2740
-
Hana Rudová and Keith Murray. University Course Timetabling with Soft Constraints. In Edmund Burke and Patrick De Causmaecker (eds.): Practice And Theory of Automated Timetabling IV. Springer-Verlag LNCS 2740, pp. 310-328, 2003.
-
(2003)
Practice and Theory of Automated Timetabling IV
, pp. 310-328
-
-
Rudová, H.1
Murray, K.2
-
17
-
-
9444283376
-
Dynamic constraint solving
-
Kinsale
-
Gérard Verfaillie, Narendra Jussien. Dynamic Constraint Solving. A tutorial including commented bibliography presented at CP 2003, Kinsale.
-
CP 2003
-
-
Verfaillie, G.1
Jussien, N.2
-
18
-
-
9444234683
-
Limited assignment number search algorithm
-
Maria Bielikova (ed.)
-
Kamil Veřmiřovský and Hana Rudová, Limited Assignment Number Search Algorithm. In Maria Bielikova (ed.): SOFSEM 2002 Student Research Forum, pp. 53-58, 2002.
-
(2002)
SOFSEM 2002 Student Research Forum
, pp. 53-58
-
-
Veřmiřovský, K.1
Rudová, H.2
-
19
-
-
84937425948
-
Meta-heuristics: State of the art
-
Alexander Nareyek (ed.). Springer-Verlag LNAI 2148
-
Stefan Voß. Meta-heuristics: State of the art. In Alexander Nareyek (ed.): Local search for planning and scheduling: revisited papers. Springer-Verlag LNAI 2148, pp. 1-23, 2001.
-
(2001)
Local Search for Planning and Scheduling: Revisited Papers
, pp. 1-23
-
-
Voß, S.1
|