Constraints, Volume 9

Volume 9, Number 1, January 2004

• Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey:
  On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". 5-34
  
• Agostino Dovier, Carla Piazza, Enrico Pontelli:
  Disunification in ACI1 Theories. 35-91
  

Volume 9, Number 2, April 2004

• Jean-François Condotta:
  A General Qualitative Framework for Temporal and Spatial Reasoning. 99-121
  
• Hachemi Bennaceur:
  A Comparison between SAT and CSP Techniques. 123-138
  
• Richard Gault, Peter Jeavons:
  Implementing a Test for Tractability. 139-160
  

Volume 9, Number 3, July 2004

• Guillem Godoy, Robert Nieuwenhuis:
  Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups. 167-192
  
• S. Durga Bhavani, Arun K. Pujari:
  EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm. 193-218
  
• David A. Cohen:
  Tractable Decision for a Constraint Language Implies Tractable Search. 219-229
  

Volume 9, Number 4, October 2004

• Barry O'Sullivan:
  Introduction to the Special Issue on User-Interaction in Constraint Satisfaction. 239-240
  
• François Fages, Sylvain Soliman, Rémi Coolen:
  CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. 241-262
  
• Hélène Fargier, Marie-Catherine Vilarem:
  Compiling CSPs into Tree-Driven Automata for Interactive Solving. 263-287
  
• Pearl Pu, Boi Faltings:
  Decision Tradeoff Using Example-Critiquing and Constraint Programming. 289-310
  
• Francesca Rossi, Alessandro Sperduti:
  Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems. 311-332