Constraints, Volume 4

Volume 4, Number 1, February 1999

Yan Georget, Philippe Codognet, Francesca Rossi: Constraint Retraction in CLP(FD): Formal Framework and Performance Results. 5-42 BibTeX
Andrea Schaerf: Scheduling Sport Tournaments using Constraint Logic Programming. 43-65 BibTeX
D. J. White: Lagrangean Relaxation Revisited, Technical Note. 67-77 BibTeX
Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners: Radio Link Frequency Assignment. 79-89 BibTeX

Eugene C. Freuder: Introduction to the CP96 Issue. 99 BibTeX
John N. Hooker: Inference Duality as a Basis for Sensitivity Analysis. 101-112 BibTeX
Peter Jeavons, David A. Cohen, Marc Gyssens: How to Determine the Expressive Power of Constraints. 113-131 BibTeX
Slim Abdennadher, Thom W. Frühwirth, Holger Meuss: Confluence and Semantics of Constraint Simplification Rules. 133-165 BibTeX
B. M. W. Cheng, Kenneth M. F. Choi, Jimmy Ho-Man Lee, J. C. K. Wu: Increasing Constraint Propagation by Redundant Modeling: an Experience Report. 167-192 BibTeX

Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. 199-240 BibTeX
Ernest Davis, Nicholas Mark Gotts, Anthony G. Cohn: Constraint Networks of Topological Relations and Convexity. 241-280 BibTeX
Brian Aldershof, Olivia M. Carducci, David C. Lorenc: Refined Inequalities for Stable Marriage. 281-292 BibTeX
E. Bensana, Michel Lemaître, Gérard Verfaillie: Earth Observation Satellite Management. 293-299 BibTeX

Jacques Cohen: Guest Editorial. 307-311 BibTeX
Guy Alain Narboni: From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited. 313-335 BibTeX
Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner: A Methodological View of Constraint Solving. 337-361 BibTeX
Maarten H. van Emden: Algorithmic Power from Declarative Use of Redundant Constraints. 363-381 BibTeX
Denis Bouhineau, Laurent Trilling, Jacques Cohen: An Application of CLP: Checking the Correctness of Theorems in Geometry. 383-405 BibTeX