default search action

combined dblp search
author search
venue search
publication search

ask others

Constraints, Volume 9

> Home > Journals > Constraints

Refine list

refinements active!

zoomed in on 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 9, Number 1, January 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/WallaceSSH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/WallaceSSH04
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
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/DovierPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/DovierPP04
Agostino Dovier, Carla Piazza, Enrico Pontelli:
Disunification in ACI1 Theories. 35-91
no results

Volume 9, Number 2, April 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Condotta04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Condotta04
Jean-François Condotta:
A General Qualitative Framework for Temporal and Spatial Reasoning. 99-121
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Bennaceur04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Bennaceur04
Hachemi Bennaceur:
A Comparison between SAT and CSP Techniques. 123-138
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/GaultJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/GaultJ04
Richard Gault, Peter Jeavons:
Implementing a Test for Tractability. 139-160
no results

Volume 9, Number 3, July 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/GodoyN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/GodoyN04
Guillem Godoy, Robert Nieuwenhuis:
Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups. 167-192
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/BhavaniP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/BhavaniP04
S. Durga Bhavani, Arun K. Pujari:
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm. 193-218
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Cohen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Cohen04
David A. Cohen:
Tractable Decision for a Constraint Language Implies Tractable Search. 219-229
no results

Volume 9, Number 4, October 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/OSullivan04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/OSullivan04
Barry O'Sullivan:
Introduction to the Special Issue on User-Interaction in Constraint Satisfaction. 239-240
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/FagesSC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/FagesSC04
François Fages, Sylvain Soliman, Rémi Coolen:
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. 241-262
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/FargierV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/FargierV04
Hélène Fargier, Marie-Catherine Vilarem:
Compiling CSPs into Tree-Driven Automata for Interactive Solving. 263-287
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/PuF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/PuF04
Pearl Pu, Boi Faltings:
Decision Tradeoff Using Example-Critiquing and Constraint Programming. 289-310
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/RossiS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/RossiS04
Francesca Rossi, Alessandro Sperduti:
Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems. 311-332
no results

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.