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
Electronic Edition (link) BibTeX
Agostino Dovier, Carla Piazza, Enrico Pontelli:
Disunification in ACI1 Theories. 35-91
Electronic Edition (link) BibTeX

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

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

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