Constraints, Volume 5

Volume 5, Number 1/2, January 2000

Gert Smolka: Introduction. 5
Martin Müller, Joachim Niehren, Andreas Podelski: Ordering Constraints over Feature Trees. 7-41
Laurent Michel, Pascal Van Hentenryck: Localizer. 43-84
Noëlle Bleuzen-Guernalec, Alain Colmerauer: Optimal Narrowing of a Block of Sortings in Optimal Time. 85-118
Philippe Baptiste, Claude Le Pape: Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems. 119-139
Yves Caseau, François Laburthe: Solving Various Weighted Matching Problems with Constraints. 141-160
Jean-Marc Talbot, Philippe Devienne, Sophie Tison: Generalized Definite Set Constraints. 161-202

Rattana Wetprasit, Abdul Sattar, Lina Khatib: Representation and Reasoning with Multi-Point Events. 211-249
Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos: On Parallel Partial Solutions and Approximation Schemes for Local Consistency in Networks of Constraints. 251-273
Antonio J. Fernández, Patricia M. Hill: A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains. 275-301
Maroua Bouzid, Antoni Ligeza: Temporal Causal Abduction. 303-319

J. Christopher Beck, Andrew J. Davenport, Claude Le Pape: Introduction. 327-334
Klaus Schild, Jörg Würtz: Scheduling of Time-Triggered Real-Time Systems. 335-357
Hani El Sakkout, Mark Wallace: Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. 359-388
Philip Kilby, Patrick Prosser, Paul Shaw: A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints. 389-414
Susanne Heipcke, Yves Colombani, Cristina C. B. Cavalcante, Cid C. de Souza: Scheduling under Labour Resource Constraints. 415-422