Principles and practice of constraint programming -- CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 -- October 3, 2003. Proceedings
type: Item
instance of: scholarly article
title: Principles and practice of constraint programming -- CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 -- October 3, 2003. Proceedings
zbMATH Open document ID: 1024.00062
published in: Lecture Notes in Computer Science
publication date: 2003-11-13T00:00:00Z
full work available at URL: t2833.htm
review text: The articles of this volume will be reviewed individually. For the preceding conference see Zbl 1049.68016. Indexed articles: \textit{Kautz, Henry; Selman, Bart}, Ten challenges \textit{redux}: recent progress in propositional reasoning and search, 1-18 [Zbl 1273.68350] \textit{Sandholm, Tuomas}, Automated mechanism design: a new application area for search algorithms, 19-36 [Zbl 1273.68385] \textit{Angelsmark, Ola; Jonsson, Peter}, Improved algorithms for counting solutions in constraint satisfaction problems, 81-95 [Zbl 1273.68330] \textit{Bailleux, Olivier; Boufkhad, Yacine}, Efficient CNF encoding of Boolean cardinality constraints, 108-122 [Zbl 1273.68332] \textit{Bent, Russell; Van Hentenryck, Pascal}, A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows, 123-137 [Zbl 1273.90020] \textit{Bistarelli, Stefano; Codognet, Philippe; Hui, Kin-Chuen; Lee, Jimmy Ho Man}, Solving finite domain constraint hierarchies by local consistency and tree search, 138-152 [Zbl 1273.68335] \textit{Bulatov, Andrei A.; Jeavons, Peter}, An algebraic approach to multi-sorted constraints, 183-198 [Zbl 1273.68337] \textit{Chen, Hubie}, Periodic constraint satisfaction problems: polynomial-time algorithms, 199-213 [Zbl 1273.68338] \textit{Cheng, Chi Kan; Lee, Jimmy Ho Man; Stuckey, Peter J.}, Box constraint collections for adhoc constraints, 214-228 [Zbl 1273.68339] \textit{Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J.}, Propagation redundancy in redundant modelling, 229-243 [Zbl 1273.68340] \textit{Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei}, Soft constraints: complexity and multimorphisms, 244-258 [Zbl 1273.68342] \textit{Cruz, Jorge; Barahona, Pedro}, Constraint satisfaction differential problems, 259-273 [Zbl 1273.68343] \textit{Dimitriou, Tassos}, A wealth of SAT distributions with planted assignments, 274-287 [Zbl 1273.68344] \textit{Dotú, Iván; del Val, Alvaro; Cebrián, Manuel}, Redundant modeling for the quasi…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 2003521
zbMATH Keywords: Constraint programming
zbMATH Keywords: CP 2003
zbMATH Keywords: Kinsale (Ireland)
MaRDI profile type: Publication
OpenAlex ID: W2497660909
DOI: 10.1007/B13743
description: scientific article; zbMATH DE number 2003521