Principles and practice of constraint programming -- CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 -- October 3, 2003. Proceedings
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
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 quasigroup completion problem, 288-302 [Zbl 1273.68269] \textit{Faltings, Boi; Macho-Gonzalez, Santiago}, Open constraint optimization, 303-317 [Zbl 1273.68345] \textit{Frisch, Alan M.; Jefferson, Chris; Miguel, Ian}, Constraints for breaking more row and column symmetries, 318-332 [Zbl 1273.68075] \textit{Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve}, Generic SBDD using computational group theory, 333-347 [Zbl 1273.68076] \textit{Gent, Ian P.; Hoos, Holger H.; Rowley, Andrew G. D.; Smyth, Kevin}, Using stochastic local search to solve quantified Boolean formulae, 348-362 [Zbl 1273.68346] \textit{de Givry, Simon; Larrosa, Javier; Meseguer, Pedro; Schiex, Thomas}, Solving Max-SAT as weighted CSP, 363-376 [Zbl 1273.68368] \textit{Golden, Keith; Pang, Wanlin}, Constraint reasoning over strings, 377-391 [Zbl 1273.68347] \textit{Green, Martin J.; Cohen, David A.}, Tractability by approximating constraint languages, 392-406 [Zbl 1273.68146] \textit{van Hoeve, Willem Jan}, A hybrid constraint programming and semidefinite programming approach for the stable set problem, 407-421 [Zbl 1273.90181] \textit{Katriel, Irit; Thiel, Sven}, Fast bound consistency for the global cardinality constraint, 437-451 [Zbl 1273.68400] \textit{Liu, Lengning; Truszczyński, Mirosław}, Local-search techniques for propositional logic extended with cardinality constraints, 495-509 [Zbl 1273.68353] \textit{Maher, Michael J.}, A synthesis of constraint satisfaction and constraint solving, 525-539 [Zbl 1273.68354] \textit{Michel, Laurent; Van Hentenryck, Pascal}, Maintaining longest paths incrementally, 540-554 [Zbl 1273.68355] \textit{Mitchell, David G.}, Resolution and constraint satisfaction, 555-569 [Zbl 1273.68356] \textit{Puget, Jean-François}, Symmetry breaking using stabilizers, 585-599 [Zbl 1273.68360] \textit{Quimper, Claude-Guy; van Beek, Peter; López-Ortiz, Alejandro; Golynski, Alexander; Sadjad, Sayyed Bashir}, An efficient bounds consistency algorithm for the global cardinality constraint, 600-614 [Zbl 1273.68361] \textit{Ratschan, Stefan}, Solving existentially quantified constraints with one equality and arbitrarily many inequalities, 615-633 [Zbl 1273.68362] \textit{Régin, Jean-Charles}, Using constraint programming to solve the maximum clique problem, 634-648 [Zbl 1273.90176] \textit{Satish Kumar, T. K.}, Incremental computation of resource-envelopes in producer-consumer models, 664-678 [Zbl 1273.91330] \textit{Sellmann, Meinolf}, Approximated consistency for knapsack constraints, 679-693 [Zbl 1273.90179] \textit{Sellmann, Meinolf}, Cost-based filtering for shorter path constraints, 694-708 [Zbl 1273.90231] \textit{Terrioux, Cyril; Jégou, Philippe}, Bounded backtracking for the valued constraint satisfaction problems, 709-723 [Zbl 1273.68363] \textit{Walsh, Toby}, Consistency and propagation with multiset constraints: a formal viewpoint, 724-738 [Zbl 1273.68364] \textit{Wolf, Armin}, Pruning while sweeping over task intervals, 739-753 [Zbl 1273.68366] \textit{Bessière, Christian; Van Hentenryck, Pascal}, To be or not to be \(\ldots\) a global constraint, 789-794 [Zbl 1273.68334] \textit{Brand, Sebastian; Gennari, Rosella; de Rijke, Maarten}, Constraint programming for modelling and solving modal satisfiability, 795-800 [Zbl 1273.68336] \textit{Cohen, David A.}, A new class of binary CSPs for which arc-consistency is a decision procedure, 807-811 [Zbl 1273.68341]
This page was built for publication: Principles and practice of constraint programming -- CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 -- October 3, 2003. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1413092)
