9. CP 2003:
Kinsale,
Ireland
Francesca Rossi (Ed.):
Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings.
Lecture Notes in Computer Science 2833 Springer 2003, ISBN 3-540-20202-1 BibTeX
@proceedings{DBLP:conf/cp/2003,
editor = {Francesca Rossi},
title = {Principles and Practice of Constraint Programming - CP 2003,
9th International Conference, CP 2003, Kinsale, Ireland, September
29 - October 3, 2003, Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2833},
year = {2003},
isbn = {3-540-20202-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Best Paper
Full Papers
- Ola Angelsmark, Peter Jonsson:
Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems.
81-95
Electronic Edition (link) BibTeX
- Carlos Ansótegui, Jose Larrubia, Felip Manyà:
Boosting Chaff's Performance by Incorporating CSP Heuristics.
96-107
Electronic Edition (link) BibTeX
- Olivier Bailleux, Yacine Boufkhad:
Efficient CNF Encoding of Boolean Cardinality Constraints.
108-122
Electronic Edition (link) BibTeX
- Russell Bent, Pascal Van Hentenryck:
A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows.
123-137
Electronic Edition (link) BibTeX
- Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
138-152
Electronic Edition (link) BibTeX
- Stéphane Bourdais, Philippe Galinier, Gilles Pesant:
HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care.
153-167
Electronic Edition (link) BibTeX
- Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans:
Constraint-Based Optimization with the Minimax Decision Criterion.
168-182
Electronic Edition (link) BibTeX
- Andrei A. Bulatov, Peter Jeavons:
An Algebraic Approach to Multi-sorted Constraints.
183-198
Electronic Edition (link) BibTeX
- Hubie Chen:
Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.
199-213
Electronic Edition (link) BibTeX
- Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Box Constraint Collections for Adhoc Constraints.
214-228
Electronic Edition (link) BibTeX
- Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy in Redundant Modelling.
229-243
Electronic Edition (link) BibTeX
- David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
Soft Constraints: Complexity and Multimorphisms.
244-258
Electronic Edition (link) BibTeX
- Jorge Cruz, Pedro Barahona:
Constraint Satisfaction Differential Problems.
259-273
Electronic Edition (link) BibTeX
- Tassos Dimitriou:
A Wealth of SAT Distributions with Planted Assignments.
274-287
Electronic Edition (link) BibTeX
- Iván Dotú, Alvaro del Val, Manuel Cebrián:
Redundant Modeling for the QuasiGroup Completion Problem.
288-302
Electronic Edition (link) BibTeX
- Boi Faltings, Santiago Macho-Gonzalez:
Open Constraint Optimization.
303-317
Electronic Edition (link) BibTeX
- Alan M. Frisch, Christopher Jefferson, Ian Miguel:
Constraints for Breaking More Row and Column Symmetries.
318-332
Electronic Edition (link) BibTeX
- Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton:
Generic SBDD Using Computational Group Theory.
333-347
Electronic Edition (link) BibTeX
- Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth:
Using Stochastic Local Search to Solve Quantified Boolean Formulae.
348-362
Electronic Edition (link) BibTeX
- Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex:
Solving Max-SAT as Weighted CSP.
363-376
Electronic Edition (link) BibTeX
- Keith Golden, Wanlin Pang:
Constraint Reasoning over Strings.
377-391
Electronic Edition (link) BibTeX
- Martin J. Green, David A. Cohen:
Tractability by Approximating Constraint Languages.
392-406
Electronic Edition (link) BibTeX
- Willem Jan van Hoeve:
A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem.
407-421
Electronic Edition (link) BibTeX
- Alan Holland, Barry O'Callaghan, Barry O'Sullivan:
A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.
422-436
Electronic Edition (link) BibTeX
- Irit Katriel, Sven Thiel:
Fast Bound Consistency for the Global Cardinality Constraint.
437-451
Electronic Edition (link) BibTeX
- Ludwig Krippahl, Pedro Barahona:
Propagating N-Ary Rigid-Body Constraints.
452-465
Electronic Edition (link) BibTeX
- Javier Larrosa, Enric Morancho:
Solving 'Still Life' with Soft Constraints and Bucket Elimination.
466-479
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Frédéric Boussemart, Fred Hemery:
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.
480-494
Electronic Edition (link) BibTeX
- Lengning Liu, Miroslaw Truszczynski:
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.
495-509
Electronic Edition (link) BibTeX
- Andrea Lodi, Michela Milano, Louis-Martin Rousseau:
Discrepancy-Based Additive Bounding for the AllDifferent Constraint.
510-524
Electronic Edition (link) BibTeX
- Michael J. Maher:
A Synthesis of Constraint Satisfaction and Constraint Solving.
525-539
Electronic Edition (link) BibTeX
- Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally.
540-554
Electronic Edition (link) BibTeX
- David G. Mitchell:
Resolution and Constraint Satisfaction.
555-569
Electronic Edition (link) BibTeX
- Angelo Oddi, Nicola Policella, Amedeo Cesta, Gabriella Cortellessa:
Generating High Quality Schedules for a Spacecraft Memory Downlink Problem.
570-584
Electronic Edition (link) BibTeX
- Jean-Francois Puget:
Symmetry Breaking Using Stabilizers.
585-599
Electronic Edition (link) BibTeX
- Claude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad:
An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint.
600-614
Electronic Edition (link) BibTeX
- Stefan Ratschan:
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.
615-633
Electronic Edition (link) BibTeX
- Jean-Charles Régin:
Using Constraint Programming to Solve the Maximum Clique Problem.
634-648
Electronic Edition (link) BibTeX
- Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace:
Greater Efficiency for Conditional Constraint Satisfaction.
649-663
Electronic Edition (link) BibTeX
- T. K. Satish Kumar:
Incremental Computation of Resource-Envelopes in Producer-Consumer Models.
664-678
Electronic Edition (link) BibTeX
- Meinolf Sellmann:
Approximated Consistency for Knapsack Constraints.
679-693
Electronic Edition (link) BibTeX
- Meinolf Sellmann:
Cost-Based Filtering for Shorter Path Constraints.
694-708
Electronic Edition (link) BibTeX
- Cyril Terrioux, Philippe Jégou:
Bounded Backtracking for the Valued Constraint Satisfaction Problems.
709-723
Electronic Edition (link) BibTeX
- Toby Walsh:
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.
724-738
Electronic Edition (link) BibTeX
- Armin Wolf:
Pruning while Sweeping over Task Intervals.
739-753
Electronic Edition (link) BibTeX
- Lin Xu, Berthe Y. Choueiry:
Improving Backtrack Search for Solving the TCSP.
754-768
Electronic Edition (link) BibTeX
- Neil Yorke-Smith, Carmen Gervet:
Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty.
769-783
Electronic Edition (link) BibTeX
Poster Papers
- Nicos Angelopoulos:
clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming.
784-788
Electronic Edition (link) BibTeX
- Christian Bessière, Pascal Van Hentenryck:
To Be or Not to Be ... a Global Constraint.
789-794
Electronic Edition (link) BibTeX
- Sebastian Brand, Rosella Gennari, Maarten de Rijke:
Constraint Programming for Modelling and Solving Modal Satisfability.
795-800
Electronic Edition (link) BibTeX
- Ismel Brito, Pedro Meseguer:
Distributed Forward Checking.
801-806
Electronic Edition (link) BibTeX
- David A. Cohen:
A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure.
807-811
Electronic Edition (link) BibTeX
- Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton:
Semi-automatic Modeling by Constraint Acquisition.
812-816
Electronic Edition (link) BibTeX
- Emilie Danna, Laurent Perron:
Structured vs. Unstructured Large Neighborhood Search: A Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs.
817-821
Electronic Edition (link) BibTeX
- Carlos Eisenberg, Boi Faltings:
Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems.
822-826
Electronic Edition (link) BibTeX
- Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez:
Toy(FD): Sketch of Operational Semantics.
827-831
Electronic Edition (link) BibTeX
- Jeremy Frank, Richard Dearden:
Scheduling in the Face of Uncertain Resource Consumption and Utility.
832-836
Electronic Edition (link) BibTeX
- Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei:
Supertree Construction with Constraint Programming.
837-841
Electronic Edition (link) BibTeX
- Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.
842-846
Electronic Edition (link) BibTeX
- Nuno Gomes, Zita A. Vale, Carlos Ramos:
Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.
847-852
Electronic Edition (link) BibTeX
- Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic:
A Canonicity Test for Configuration.
853-857
Electronic Edition (link) BibTeX
- Fabrizio Grandoni, Giuseppe F. Italiano:
Improved Algorithms for Max-restricted Path Consistency.
858-862
Electronic Edition (link) BibTeX
- Alessio Guerri, Michela Milano:
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions.
863-867
Electronic Edition (link) BibTeX
- Wen Qi Huang, Yu Li, Bernard Jurkowiak, Chu Min Li, Ru Chu Xu:
A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container.
868-872
Electronic Edition (link) BibTeX
- George Katsirelos, Fahiem Bacchus:
Unrestricted Nogood Recording in CSP Search.
873-877
Electronic Edition (link) BibTeX
- François Laburthe:
Constraints over Ontologies.
878-882
Electronic Edition (link) BibTeX
- François Laburthe, Yves Caseau:
Using Constraints for Exploring Catalogs.
883-888
Electronic Edition (link) BibTeX
- Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali:
Intermediate (Learned) Consistencies.
889-893
Electronic Edition (link) BibTeX
- David Larkin:
Semi-independent Partitioning: A Method for Bounding the Solution to COP's.
894-898
Electronic Edition (link) BibTeX
- Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham:
Boosting as a Metaphor for Algorithm Design.
899-903
Electronic Edition (link) BibTeX
- Olivier Lhomme:
An Efficient Filtering Algorithm for Disjunction of Constraints.
904-908
Electronic Edition (link) BibTeX
- Bertrand Neveu, Gilles Trombettoni:
INCOP: An Open Library for INcomplete Combinatorial OPtimization.
909-913
Electronic Edition (link) BibTeX
- Seiichi Nishihara, Kazunori Mizuno, Kohsuke Nishihara:
A Composition Algorithm for Very Hard Graph 3-Colorability Instances.
914-919
Electronic Edition (link) BibTeX
- Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura:
Efficient Represenation of Discrete Sets for Constraint Programming.
920-924
Electronic Edition (link) BibTeX
- Adrian Petcu, Boi Faltings:
Applying Interchangeability Techniques to the Distributed Breakout Algorithm.
925-929
Electronic Edition (link) BibTeX
- Karen E. Petrie, Barbara M. Smith:
Symmetry Breaking in Graceful Graphs.
930-934
Electronic Edition (link) BibTeX
- Nicolas Prcovic:
Tree Local Search.
935-939
Electronic Edition (link) BibTeX
- Steven David Prestwich, Desmond G. Higgins, Orla O'Sullivan:
A SAT-Based Approach to Multiple Sequence Alignment.
940-944
Electronic Edition (link) BibTeX
- Igor Razgon, Amnon Meisels:
Maintaining Dominance Consistency.
945-949
Electronic Edition (link) BibTeX
- Tuomas Sandholm:
Terminating Decision Algorithms Optimally.
950-955
Electronic Edition (link) BibTeX
- Gilles Trombettoni, Marta Wilczkowiak:
Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition.
956-961
Electronic Edition (link) BibTeX
Doctoral Abstracts
- Carlos Ansótegui:
A New Approach to Solving SAT-Encoded Binary CSPs.
962
Electronic Edition (link) BibTeX
- Muhammed Basharu:
FeReRA: A Multi-agent Approach to Constraint Satisfaction.
963
Electronic Edition (link) BibTeX
- Heikel Batnini, Michel Rueher:
Semantic Decomposition for Solving Distance Constraints.
964-965
Electronic Edition (link) BibTeX
- Julien Bidot:
Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty.
966
Electronic Edition (link) BibTeX
- Jlifi Boutheina, Khaled Ghédira:
On the Enhancement of the Informed Backtracking Algorithm.
967
Electronic Edition (link) BibTeX
- Ole Boysen:
Extending CLP with Metaheuristics.
968
Electronic Edition (link) BibTeX
- Tom Carchrae:
Self Configuring Constraint Programming Systems.
969
Electronic Edition (link) BibTeX
- Moyra Duggan, Barry O'Sullivan, Eugene C. Freuder:
Interactive Tradeoff Generation.
970
Electronic Edition (link) BibTeX
- Pierre Flener, Justin Pearson, Magnus Ågren:
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems.
971
Electronic Edition (link) BibTeX
- James Gibbons:
Abstracting Constraints Using Constraints.
972
Electronic Edition (link) BibTeX
- Diarmuid Glynn:
Sensitivity Analysis in CSPs.
973
Electronic Edition (link) BibTeX
- Emmanuel Hebrard:
Solution Stability in Constraint Satisfaction Problems.
974
Electronic Edition (link) BibTeX
- Michael Heusch:
distn: An Euclidean Distance Global Constraint.
975
Electronic Edition (link) BibTeX
- Alan Holland, Barry O'Sullivan:
Algorithmic Mechanism Design and Constraints.
976
Electronic Edition (link) BibTeX
- Rémy-Robert Joseph, Peter Chan, Michael Hiroux, Georges Weil:
Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations.
977
Electronic Edition (link) BibTeX
- Jerome Kelleher, Barry O'Sullivan:
Optimising the Representation and Evaluation of Semiring Combination Constraints.
978
Electronic Edition (link) BibTeX
- Zeynep Kiziltan:
Symmetry Breaking Ordering Constraints.
979
Electronic Edition (link) BibTeX
- Ludovic Langevine:
Observation of Constraint Programs.
980
Electronic Edition (link) BibTeX
- Wojciech Legierski:
Search Programming.
981
Electronic Edition (link) BibTeX
- Chavalit Likitvivatanavong:
Exploiting Microstructure in CSPs.
982
Electronic Edition (link) BibTeX
- James Little, Cormac Gebruers, Derek G. Bridge, Eugene C. Freuder:
Using Case-Based Reasoning to Write Constraint Programs.
983
Electronic Edition (link) BibTeX
- Toni Mancini:
Reformulation Techniques for a Class of Permutation Problems.
984
Electronic Edition (link) BibTeX
- Iain McDonald:
NuSBDS: An Easy to Use Symmetry Breaking System.
985
Electronic Edition (link) BibTeX
- Tomás Müller:
Interactivity in Constraint Programming.
986
Electronic Edition (link) BibTeX
- Tomas Eric Nordlander, Ken N. Brown, Derek H. Sleeman:
Identifying Inconsistent CSPs by Relaxation.
987
Electronic Edition (link) BibTeX
- Barry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan:
Useful Explanations.
988
Electronic Edition (link) BibTeX
- Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder:
Teacher and Learner Profiles for Constraint Acquisition.
989
Electronic Edition (link) BibTeX
- Karen E. Petrie:
Comparison of Symmetry Breaking Methods.
990
Electronic Edition (link) BibTeX
- Jordi Planes:
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.
991
Electronic Edition (link) BibTeX
- Colin Quirke:
Search for Mathematical Objects.
992
Electronic Edition (link) BibTeX
- Guillaume Rochart:
Explanations for Global Constraints.
993
Electronic Edition (link) BibTeX
- Andrew G. D. Rowley:
Watching Clauses in Quantified Boolean Formulae.
994
Electronic Edition (link) BibTeX
- Hans Schlenker:
Distributed Constraint-Based Railway Simulation.
995
Electronic Edition (link) BibTeX
- Daniel Sheridan:
Dynamic Step Size Adjustment in Iterative Deepening Search.
996
Electronic Edition (link) BibTeX
- Paula Sturdy:
Learning Good Variable Orderings.
997
Electronic Edition (link) BibTeX
- Ann Tighe, Finlay S. Smith, Gerard Lyons:
An Adaptive Controller for Real-Time Resolution of the Vehicle Routing Problem.
998
Electronic Edition (link) BibTeX
- Kristen Brent Venable:
alpha-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty.
999
Electronic Edition (link) BibTeX
- Petr Vilím:
Computing Explanations for Global Scheduling Constraints.
1000
Electronic Edition (link) BibTeX
- Huayue Wu, Peter van Beek:
Restart Strategies: Analysis and Simulation.
1001
Electronic Edition (link) BibTeX
- Peter Zoeteweij:
OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine.
1002
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:42 2009
by Michael Ley (ley@uni-trier.de)
