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
  
• Andrea Schaerf:
  Scheduling Sport Tournaments using Constraint Logic Programming. 43-65
  
• D. J. White:
  Lagrangean Relaxation Revisited, Technical Note. 67-77
  
• Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners:
  Radio Link Frequency Assignment. 79-89
  

Volume 4, Number 2, May 1999

• Eugene C. Freuder:
  Introduction to the CP96 Issue. 99
  
• John N. Hooker:
  Inference Duality as a Basis for Sensitivity Analysis. 101-112
  
• Peter Jeavons, David A. Cohen, Marc Gyssens:
  How to Determine the Expressive Power of Constraints. 113-131
  
• Slim Abdennadher, Thom W. Frühwirth, Holger Meuss:
  Confluence and Semantics of Constraint Simplification Rules. 133-165
  
• 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
  

Volume 4, Number 3, September 1999

• 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
  
• Ernest Davis, Nicholas Mark Gotts, Anthony G. Cohn:
  Constraint Networks of Topological Relations and Convexity. 241-280
  
• Brian Aldershof, Olivia M. Carducci, David C. Lorenc:
  Refined Inequalities for Stable Marriage. 281-292
  
• E. Bensana, Michel Lemaître, Gérard Verfaillie:
  Earth Observation Satellite Management. 293-299
  

Volume 4, Number 4, December 1999

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

Last update Tue Feb 14 04:15:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page