11. CP 2005:
Sitges (Barcelona),
Spain
Peter van Beek (Ed.):
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings.
Lecture Notes in Computer Science 3709 Springer 2005, ISBN 3-540-29238-1 BibTeX
Invited Papers
Best Papers
Full Papers
- Magnus Ågren, Pierre Flener, Justin Pearson:
Incremental Algorithms for Local Search from Existential Second-Order Logic.
47-61
Electronic Edition (link) BibTeX
- Konstantin Artiouchine, Philippe Baptiste:
Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs.
62-76
Electronic Edition (link) BibTeX
- Heikel Batnini, Claude Michel, Michel Rueher:
Mind the Gaps: A New Splitting Strategy for Consistency Techniques.
77-91
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet:
Graph Invariants as Necessary Conditions for Global Constraints.
92-106
Electronic Edition (link) BibTeX
- Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano:
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation.
107-121
Electronic Edition (link) BibTeX
- Russell Bent, Irit Katriel, Pascal Van Hentenryck:
Sub-optimality Approximations.
122-136
Electronic Edition (link) BibTeX
- Hariolf Betz, Thom W. Frühwirth:
A Linear-Logic Semantics for Constraint Handling Rules.
137-151
Electronic Edition (link) BibTeX
- Ismel Brito, Pedro Meseguer:
Distributed Stable Matching Problems.
152-166
Electronic Edition (link) BibTeX
- Hubie Chen, Víctor Dalmau:
Beyond Hypertree Width: Decomposition Methods Without Decompositions.
167-181
Electronic Edition (link) BibTeX
- Kenil C. K. Cheng, Roland H. C. Yap:
Ad-hoc Global Constraints for Life.
182-195
Electronic Edition (link) BibTeX
- Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien:
Tractable Clones of Polynomials over Semigroups.
196-210
Electronic Edition (link) BibTeX
- Grégoire Dooms, Yves Deville, Pierre Dupont:
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming.
211-225
Electronic Edition (link) BibTeX
- Jérôme Fortin, Pawel Zielinski, Didier Dubois, Hélène Fargier:
Interval Analysis in Scheduling.
226-240
Electronic Edition (link) BibTeX
- Felix Geller, Michael Veksler:
Assumption-Based Pruning in Conditional CSP.
241-255
Electronic Edition (link) BibTeX
- Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith:
Conditional Symmetry Breaking.
256-270
Electronic Edition (link) BibTeX
- Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal:
Symmetry and Consistency.
271-285
Electronic Edition (link) BibTeX
- Warwick Harvey, Thorsten Winterer:
Solving the MOLR and Social Golfers Problems.
286-300
Electronic Edition (link) BibTeX
- Laurent Henocque, Mathias Kleiner, Nicolas Prcovic:
Advances in Polytime Isomorph Elimination for Configuration.
301-313
Electronic Edition (link) BibTeX
- John N. Hooker:
Planning and Scheduling to Minimize Tardiness.
314-327
Electronic Edition (link) BibTeX
- Tudor Hulubei, Barry O'Sullivan:
Search Heuristics and Heavy-Tailed Behaviour.
328-342
Electronic Edition (link) BibTeX
- Joey Hwang, David G. Mitchell:
2-Way vs. d-Way Branching for CSP.
343-357
Electronic Edition (link) BibTeX
- Irit Katriel, Pascal Van Hentenryck:
Maintaining Longest Paths in Cyclic Graphs.
358-372
Electronic Edition (link) BibTeX
- Ludwig Krippahl, Pedro Barahona:
Applying Constraint Programming to Rigid Body Protein Docking.
373-387
Electronic Edition (link) BibTeX
- Andrei A. Krokhin, Benoit Larose:
Maximum Constraint Satisfaction on Diamonds.
388-402
Electronic Edition (link) BibTeX
- Chu Min Li, Felip Manyà, Jordi Planes:
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers.
403-414
Electronic Edition (link) BibTeX
- Hui Li, Brian Williams:
Generalized Conflict Learning for Hybrid Discrete/Linear Optimization.
415-429
Electronic Edition (link) BibTeX
- Laurent Michel, Pascal Van Hentenryck:
Parallel Local Search in Comet.
430-444
Electronic Edition (link) BibTeX
- Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder:
Generating Corrective Explanations for Interactive Constraint Satisfaction.
445-459
Electronic Edition (link) BibTeX
- Gilles Pesant, Jean-Charles Régin:
SPREAD: A Balancing Constraint Based on Statistics.
460-474
Electronic Edition (link) BibTeX
- Jean-Francois Puget:
Automatic Detection of Variable and Value Symmetries.
475-489
Electronic Edition (link) BibTeX
- Jean-Francois Puget:
Breaking All Value Symmetries in Surjection Problems.
490-504
Electronic Edition (link) BibTeX
- Jean-Charles Régin:
AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm.
505-519
Electronic Edition (link) BibTeX
- Jean-Charles Régin:
Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost.
520-533
Electronic Edition (link) BibTeX
- Jochen Renz, Gérard Ligozat:
Weak Composition for Qualitative Spatial and Temporal Reasoning.
534-548
Electronic Edition (link) BibTeX
- Georg Ringwelski, Youssef Hamadi:
Boosting Distributed Constraint Satisfaction.
549-562
Electronic Edition (link) BibTeX
- Emma Rollon, Javier Larrosa:
Depth-First Mini-Bucket Elimination.
563-577
Electronic Edition (link) BibTeX
- Horst Samulowitz, Fahiem Bacchus:
Using SAT in QBF.
578-592
Electronic Edition (link) BibTeX
- Martí Sánchez, Javier Larrosa, Pedro Meseguer:
Tree Decomposition with Function Filtering.
593-606
Electronic Edition (link) BibTeX
- Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack:
On Solving Soft Temporal Constraints Using SAT Techniques.
607-621
Electronic Edition (link) BibTeX
- Kish Shen, Joachim Schimpf:
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.
622-636
Electronic Edition (link) BibTeX
- Barbara M. Smith:
Caching Search States in Permutation Problems.
637-651
Electronic Edition (link) BibTeX
- Kostas Stergiou:
Repair-Based Methods for Quantified CSPs.
652-666
Electronic Edition (link) BibTeX
- Michael Thielscher:
Handling Implication and Universal Quantification Constraints in FLUX.
667-681
Electronic Edition (link) BibTeX
- Vincent Vidal, Hector Geffner:
Solving Simple Planning Problems with More Inference and No Search.
682-696
Electronic Edition (link) BibTeX
- Benjamin W. Wah, Yixin Chen:
Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning.
697-711
Electronic Edition (link) BibTeX
- Richard Wallace:
Factor Analytic Studies of CSP Heuristics.
712-726
Electronic Edition (link) BibTeX
Short Papers
- Anbulagan, John K. Slaney:
Lookahead Saturation with Restriction for SAT.
727-731
Electronic Edition (link) BibTeX
- Stuart Bain, John Thornton, Abdul Sattar:
Evolving Variable-Ordering Heuristics for Constrained Optimisation.
732-736
Electronic Edition (link) BibTeX
- J. Christopher Beck:
Multi-point Constructive Search.
737-741
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart:
Bounds of Graph Characteristics.
742-746
Electronic Edition (link) BibTeX
- Christian Bessière, Remi Coletta, Thierry Petit:
Acquiring Parameters of Implied Global Constraints.
747-751
Electronic Edition (link) BibTeX
- Hadrien Cambazard, Narendra Jussien:
Integrating Benders Decomposition Within Constraint Programming.
752-756
Electronic Edition (link) BibTeX
- Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais:
Using Boolean Constraint Propagation for Sub-clauses Deduction.
757-761
Electronic Edition (link) BibTeX
- Bistra N. Dilkina, Lei Duan, William S. Havens:
Extending Systematic Local Search for Job Shop Scheduling Problems.
762-766
Electronic Edition (link) BibTeX
- Tarik Hadzic, Henrik Reif Andersen:
Interactive Reconfiguration in Power Supply Restoration.
767-771
Electronic Edition (link) BibTeX
- Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham:
Neighbourhood Clause Weight Redistribution in Local Search for SAT.
772-776
Electronic Edition (link) BibTeX
- Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
Computing and Exploiting Tree-Decompositions for Solving Constraint Networks.
777-781
Electronic Edition (link) BibTeX
- Alexander Lazovik, Marco Aiello, Rosella Gennari:
Encoding Requests to Web Service Compositions as Constraints.
782-786
Electronic Edition (link) BibTeX
- Mistuo Motoki:
Test Instance Generation for MAX 2SAT.
787-791
Electronic Edition (link) BibTeX
- Peter Nightingale:
Consistency for Quantified Constraint Satisfaction Problems.
792-796
Electronic Edition (link) BibTeX
- Laurent Perron:
Alternate Modeling in Sport Scheduling.
797-801
Electronic Edition (link) BibTeX
- Adrian Petcu, Boi Faltings:
Approximations in Distributed Optimization.
802-806
Electronic Edition (link) BibTeX
- Nicolas Prcovic:
Extremal CSPs.
807-811
Electronic Edition (link) BibTeX
- Claude-Guy Quimper, Toby Walsh:
Beyond Finite Domains: The All Different and Global Cardinality Constraints.
812-816
Electronic Edition (link) BibTeX
- Christian Schulte, Guido Tack:
Views and Iterators for Generic Constraint Implementations.
817-821
Electronic Edition (link) BibTeX
- Meinolf Sellmann:
Approximated Consistency for the Automatic Recording Problem.
822-826
Electronic Edition (link) BibTeX
- Carsten Sinz:
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.
827-831
Electronic Edition (link) BibTeX
- Stéphane Zampelli, Yves Deville, Pierre Dupont:
Approximate Constrained Subgraph Matching.
832-836
Electronic Edition (link) BibTeX
Doctoral Papers
- Montserrat Abril, Miguel A. Salido, Federico Barber:
Distributed Constraints for Large-Scale Scheduling Problems.
837
Electronic Edition (link) BibTeX
- Josep Argelich, Felip Manyà:
Solving Over-Constrained Problems with SAT.
838
Electronic Edition (link) BibTeX
- David A. Burke, Kenneth N. Brown:
A Constraint Based Agent for TAC-SCM.
839
Electronic Edition (link) BibTeX
- Mihaela Butaru, Zineb Habbas:
Solving the Car-Sequencing Problem as a Non-binary CSP.
840
Electronic Edition (link) BibTeX
- Cyril Canon, Jean-Charles Billaut, Jean-Louis Bouquard:
Dimensioning an Inbound Call Center Using Constraint Programming.
841
Electronic Edition (link) BibTeX
- Tom Carchrae, J. Christopher Beck, Eugene C. Freuder:
Methods to Learn Abstract Scheduling Models.
842
Electronic Edition (link) BibTeX
- Pavel Cejnar, Roman Barták:
Automated Search for Heuristic Functions.
843
Electronic Edition (link) BibTeX
- Le Chang, Alan K. Mackworth:
Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.
844
Electronic Edition (link) BibTeX
- Iván Dotú, Alvaro del Val, Pascal Van Hentenryck:
Scheduling Social Tournaments.
845
Electronic Edition (link) BibTeX
- Latife Genç Kaya, John N. Hooker:
Domain Reduction for the Circuit Constraint.
846
Electronic Edition (link) BibTeX
- Carlos Grandón, Bertrand Neveu:
Using Constraint Programming for Solving Distance CSP with Uncertainty.
847
Electronic Edition (link) BibTeX
- Emmanuel Hebrard, Toby Walsh:
Improved Algorithm for Finding (a, b)-Super Solutions.
848
Electronic Edition (link) BibTeX
- Federico Heras, Javier Larrosa:
Local Consistency in Weighted CSPs and Inference in Max-SAT.
849
Electronic Edition (link) BibTeX
- Matthias Hoche, Stefan Jähnichen:
Modeling Constraint Programs with Software Technology Standards.
850
Electronic Edition (link) BibTeX
- Chris Houghton, David A. Cohen:
Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems.
851
Electronic Edition (link) BibTeX
- Eric I. Hsu, Sheila A. McIlraith:
Mechanism Design for Preference Aggregation over Coalitions.
852
Electronic Edition (link) BibTeX
- Lucian Leahu, Carla P. Gomes:
LP as a Global Search Heuristic Across Different Constrainedness Regions.
853
Electronic Edition (link) BibTeX
- Andrei Legtchenko, Arnaud Lallouet:
Consistency for Partially Defined Constraints.
854
Electronic Edition (link) BibTeX
- Cheuk Fun Bede Leung, Barry Richards, Olli Kamarainen:
Subnet Generation Problem: A New Network Routing Problem.
855
Electronic Edition (link) BibTeX
- Tiziana Ligorio, Susan L. Epstein:
Partial Redundant Modeling.
856
Electronic Edition (link) BibTeX
- Radu Marinescu, Rina Dechter:
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems.
857
Electronic Edition (link) BibTeX
- Roland Martin, Karsten Weihe:
Weak Symmetries in Problem Formulations.
858
Electronic Edition (link) BibTeX
- Bernadette Martínez Hernández, Alan M. Frisch:
Towards the Systematic Generation of Channelling Constraints.
859
Electronic Edition (link) BibTeX
- Robert Mateescu, Rina Dechter:
AND/OR Search Spaces and the Semantic Width of Constraint Networks.
860
Electronic Edition (link) BibTeX
- Ramón Béjar, Cèsar Fernández, Carles Mateu:
Statistical Modelling of CSP Solving Algorithms Performance.
861
Electronic Edition (link) BibTeX
- Deepak Mehta, Marc R. C. van Dongen:
Probabilistic Arc Consistency.
862
Electronic Edition (link) BibTeX
- Henry Müller, Stefan Jähnichen:
GOOSE - A Generic Object-Oriented Search Environment.
863
Electronic Edition (link) BibTeX
- Quang Nguyen, Boi Faltings:
Randomization for Multi-agent Constraint Optimization.
864
Electronic Edition (link) BibTeX
- Maria Silvia Pini, Francesca Rossi:
Uncertainty in Soft Constraint Problems.
865
Electronic Edition (link) BibTeX
- Luis Quesada, Peter Van Roy, Yves Deville:
Speeding Up Constrained Path Solvers with a Reachability Propagator.
866
Electronic Edition (link) BibTeX
- Claude-Guy Quimper, Alejandro López-Ortiz:
From Linear Relaxations to Global Constraint Propagation.
867
Electronic Edition (link) BibTeX
- Pavel Surynek, Roman Barták:
Encoding HTN Planning as a Dynamic CSP.
868
Electronic Edition (link) BibTeX
- Chris Unsworth, Patrick Prosser:
Specialised Constraints for Stable Matching Problems.
869
Electronic Edition (link) BibTeX
- Stefania Verachi, Steven David Prestwich:
Bounds-Consistent Local Search.
870
Electronic Edition (link) BibTeX
- Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck:
Robust Constraint Solving Using Multiple Heuristics.
871
Electronic Edition (link) BibTeX
- Christine Wu, Kenneth N. Brown, J. Christopher Beck:
Scheduling with Uncertain Start Dates.
872
Electronic Edition (link) BibTeX
- Honglei Zeng, Sheila A. McIlraith:
The Role of Redundant Clauses in Solving Satisfiability Problems.
873
Electronic Edition (link) BibTeX
- Yaling Zheng, Berthe Y. Choueiry:
Applying Decomposition Methods to Crossword Puzzle Problems.
874
Electronic Edition (link) BibTeX
- Roie Zivan, Amnon Meisels:
Asymmetric Distributed Constraints Satisfaction Problems.
875
Electronic Edition (link) BibTeX
- Josef Zlomek, Roman Barták:
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.
876
Electronic Edition (link) BibTeX
System Demonstrations
- Alexander Brodsky, Hadon Nash:
CoJava: A Unified Language for Simulation and Optimization.
877-877
Electronic Edition (link) BibTeX
- Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez:
Programming with TOY(FD).
878-878
Electronic Edition (link) BibTeX
- Emmanuel Hebrard, Paul Tyler, Toby Walsh:
Computing Super-Schedules.
879-879
Electronic Edition (link) BibTeX
- András Kovács, Péter Egri, Tamás Kis, József Váncza:
Proterv-II: An Integrated Production Planning and Scheduling System.
880-880
Electronic Edition (link) BibTeX
- Laurent Michel, Pascal Van Hentenryck:
The Comet Programming Language and System.
881-881
Electronic Edition (link) BibTeX
- Yehuda Naveh, Roy Emek:
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
882-882
Electronic Edition (link) BibTeX
- Erik Meer:
A BDD-Based Interactive Configurator for Modular Systems.
883-883
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:43 2009
by Michael Ley (ley@uni-trier.de)