default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDConstraints, Volume 12
Volume 12, Number 1, March 2007
- Nicolas Beldiceanu:
Introduction to the Special Issue on Global Constraints. 1-2 - Konstantin Artiouchine, Philippe Baptiste:
Arc-B-consistency of the Inter-distance Constraint. 3-19 - Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey
, Thierry Petit:
Global Constraint Catalogue: Past, Present and Future. 21-62 - Helmut Simonis:
Models for Global Constraint Applications. 63-92 - Francisco Azevedo:
Cardinal: A Finite Sets Constraint Solver. 93-129 - Amnon Meisels, Roie Zivan:
Asynchronous Forward-checking for DisCSPs. 131-150
Volume 12, Number 2, June 2007
- Igor Razgon, Amnon Meisels:
A CSP Search Algorithm with Responsibility Sets and Kernels. 151-177 - Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson:
Design of Financial CDO Squared Transactions Using Constraint Programming. 179-205 - Meinolf Sellmann, Thorsten Gellermann, Robert Wright:
Cost-based Filtering for Shorter Path Constraints. 207-238 - Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Reasoning with Global Constraints. 239-259
Volume 12, Number 3, September 2007
- Yehuda Naveh, Andrea Roli:
Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction. 261-262 - Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck:
Local Search-based Hybrid Algorithms for Finding Golomb Rulers. 263-291 - Magnus Ågren, Pierre Flener, Justin Pearson:
Generic Incremental Algorithms for Local Search. 293-324 - Éric Grégoire, Bertrand Mazure, Cédric Piette:
Local-search Extraction of MUSes. 325-344 - Lengning Liu, Miroslaw Truszczynski:
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. 345-369 - Marco Chiarandini, Thomas Stützle:
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment. 371-403
Volume 12, Number 4, December 2007
- Daniele Paolo Radicioni, Vincenzo Lombardo:
A Constraint-based Approach for Annotating Music Scores with Gestural Information. 405-428 - Krzysztof R. Apt, Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals. 429-468 - Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith:
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. 469-505 - Francisco Azevedo:
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic. 507-538
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.
last updated on 2025-10-28 21:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
