default search action
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.