12. CP 2006:
Nantes,
France
Frédéric Benhamou (Ed.):
Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings.
Lecture Notes in Computer Science 4204 Springer 2006, ISBN 3-540-46267-8 BibTeX
Invited Papers
Regular Papers
- Krzysztof R. Apt, Sebastian Brand:
Infinite Qualitative Simulations by Means of Constraint Programming.
29-43
Electronic Edition (link) BibTeX
- Thanasis Balafoutis, Kostas Stergiou:
Algorithms for Stochastic CSPs.
44-58
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit:
Graph Properties Based Filtering.
59-74
Electronic Edition (link) BibTeX
- Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The ROOTS Constraint.
75-90
Electronic Edition (link) BibTeX
- Alexander Brodsky, Hadon Nash:
CoJava: Optimization Modeling by Nondeterministic Simulation.
91-106
Electronic Edition (link) BibTeX
- David A. Cohen, Martin C. Cooper, Peter Jeavons:
An Algebraic Characterisation of Complexity for Valued Constraint.
107-121
Electronic Edition (link) BibTeX
- David A. Cohen, Martin J. Green:
Typed Guarded Decompositions for Constraint Satisfaction.
122-136
Electronic Edition (link) BibTeX
- Yannis Dimopoulos, Kostas Stergiou:
Propagation in CSP and SAT.
137-151
Electronic Edition (link) BibTeX
- Grégoire Dooms, Irit Katriel:
The Minimum Spanning Tree Constraint.
152-166
Electronic Edition (link) BibTeX
- Matteo Gagliolo, Jürgen Schmidhuber:
Impact of Censored Sampling on the Performance of Restart Strategies.
167-181
Electronic Edition (link) BibTeX
- Ian P. Gent, Christopher Jefferson, Ian Miguel:
Watched Literals for Constraint Propagation in Minion.
182-197
Electronic Edition (link) BibTeX
- Alexandre Goldsztejn, Luc Jaulin:
Inner and Outer Approximations of Existentially Quantified Equality Constraints.
198-212
Electronic Edition (link) BibTeX
- Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown:
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.
213-228
Electronic Edition (link) BibTeX
- Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham:
Adaptive Clause Weight Redistribution.
229-243
Electronic Edition (link) BibTeX
- Luc Jaulin:
Localization of an Underwater Robot Using Interval Constraint Propagation.
244-255
Electronic Edition (link) BibTeX
- Peter Jonsson, Fredrik Kuivinen, Gustav Nordh:
Approximability of Integer Programming with Generalised Constraints.
256-270
Electronic Edition (link) BibTeX
- Mohand Ou Idir Khemmoudj, Marc Porcheron, Hachemi Bennaceur:
When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages.
271-283
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Radoslaw Szymanek:
Generalized Arc Consistency for Positive Table Constraints.
284-298
Electronic Edition (link) BibTeX
- Michele Lombardi, Michela Milano:
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs.
299-313
Electronic Edition (link) BibTeX
- Santiago Macho González, Carlos Ansótegui, Pedro Meseguer:
Boosting Open CSPs.
314-328
Electronic Edition (link) BibTeX
- Robert Mateescu, Rina Dechter:
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).
329-343
Electronic Edition (link) BibTeX
- Laurent Michel, Andrew See, Pascal Van Hentenryck:
Distributed Constraint-Based Local Search.
344-358
Electronic Edition (link) BibTeX
- Laurent Michel, Andrew See, Pascal Van Hentenryck:
High-Level Nondeterministic Abstractions in.
359-374
Electronic Edition (link) BibTeX
- Paul Morris:
A Structural Characterization of Temporal Dynamic Controllability.
375-389
Electronic Edition (link) BibTeX
- Bertrand Neveu, Gilles Chabert, Gilles Trombettoni:
When Interval Analysis Helps Inter-block Backtracking.
390-405
Electronic Edition (link) BibTeX
- Lars Otten, Mattias Grönkvist, Devdatt P. Dubhashi:
Randomization in Constraint Programming for Airline Planning.
406-420
Electronic Edition (link) BibTeX
- Duc Nghia Pham, John Thornton, Abdul Sattar:
Towards an Efficient SAT Encoding for Temporal Reasoning.
421-436
Electronic Edition (link) BibTeX
- Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.
437-452
Electronic Edition (link) BibTeX
- Jean-François Puget:
Dynamic Lex Constraints.
453-467
Electronic Edition (link) BibTeX
- Yossi Richter, Ari Freund, Yehuda Naveh:
Generalizing AllDifferent: The SomeDifferent Constraint.
468-483
Electronic Edition (link) BibTeX
- Emma Rollon, Javier Larrosa:
Mini-bucket Elimination with Bucket Propagation.
484-498
Electronic Edition (link) BibTeX
- Marko Samer, Stefan Szeider:
Constraint Satisfaction with Bounded Treewidth Revisited.
499-513
Electronic Edition (link) BibTeX
- Horst Samulowitz, Jessica Davies, Fahiem Bacchus:
Preprocessing QBF.
514-529
Electronic Edition (link) BibTeX
- Meinolf Sellmann:
The Theory of Grammar Constraints.
530-544
Electronic Edition (link) BibTeX
- Barbara M. Smith:
Constraint Programming Models for Graceful Graphs.
545-559
Electronic Edition (link) BibTeX
- Matthew J. Streeter, Stephen F. Smith:
A Simple Distribution-Free Approach to the Max k-Armed Bandit Problem.
560-574
Electronic Edition (link) BibTeX
- Guido Tack, Christian Schulte, Gert Smolka:
Generating Propagators for Finite Set Constraints.
575-589
Electronic Edition (link) BibTeX
- Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara:
Compiling Finite Linear CSP into SAT.
590-603
Electronic Edition (link) BibTeX
- Pascal Van Hentenryck, Laurent Michel:
Differentiable Invariants.
604-619
Electronic Edition (link) BibTeX
- Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal:
Revisiting the Sequence Constraint.
620-634
Electronic Edition (link) BibTeX
- Guillaume Verger, Christian Bessière:
: A Bottom-Up Approach for Solving Quantified CSPs.
635-649
Electronic Edition (link) BibTeX
- Toby Walsh:
General Symmetry Breaking Constraints.
650-664
Electronic Edition (link) BibTeX
Poster Papers
- Magnus Ågren, Pierre Flener, Justin Pearson:
Inferring Variable Conflicts for Local Search.
665-669
Electronic Edition (link) BibTeX
- Belaid Benhamou, Mohamed Réda Saïdi:
Reasoning by Dominance in Not-Equals Binary Constraint Networks.
670-674
Electronic Edition (link) BibTeX
- Ismel Brito, Pedro Meseguer:
Distributed Stable Matching Problems with Ties and Incomplete Lists.
675-679
Electronic Edition (link) BibTeX
- Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier:
Soft Arc Consistency Applied to Optimal Planning.
680-684
Electronic Edition (link) BibTeX
- Iván Dotú, Pascal Van Hentenryck:
A Note on Low Autocorrelation Binary Sequences.
685-689
Electronic Edition (link) BibTeX
- Alex Ferguson, Barry O'Sullivan:
Relaxations and Explanations for Quantified Constraint Satisfaction Problems.
690-694
Electronic Edition (link) BibTeX
- Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck:
Static and Dynamic Structural Symmetry Breaking.
695-699
Electronic Edition (link) BibTeX
- Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace:
The Modelling Language Zinc.
700-705
Electronic Edition (link) BibTeX
- Latife Genç Kaya, John N. Hooker:
A Filter for the Circuit Constraint.
706-710
Electronic Edition (link) BibTeX
- Vibhav Gogate, Rina Dechter:
A New Algorithm for Sampling CSP Solutions Uniformly at Random.
711-715
Electronic Edition (link) BibTeX
- Jean-Philippe Hamiez, Jin-Kao Hao:
Sports League Scheduling: Enumerative Search for Prob026 from CSPLib.
716-720
Electronic Edition (link) BibTeX
- Daniel S. Heller, Meinolf Sellmann:
Dynamic Symmetry Breaking Restarted.
721-725
Electronic Edition (link) BibTeX
- Chris Houghton, David A. Cohen, Martin J. Green:
The Effect of Constraint Representation on Structural Tractability.
726-730
Electronic Edition (link) BibTeX
- Tudor Hulubei, Barry O'Sullivan:
Failure Analysis in Backtrack Search for Constraint Satisfaction.
731-735
Electronic Edition (link) BibTeX
- Tudor Hulubei, Barry O'Sullivan:
Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.
736-740
Electronic Edition (link) BibTeX
- Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP.
741-745
Electronic Edition (link) BibTeX
- Mohand Ou Idir Khemmoudj, Hachemi Bennaceur:
Clique Inference Process for Solving Max-CSP.
746-750
Electronic Edition (link) BibTeX
- Claude-Guy Quimper, Toby Walsh:
Global Grammar Constraints.
751-755
Electronic Edition (link) BibTeX
- Evan Sultanik, Pragnesh Jay Modi, William C. Regli:
Constraint Propagation for Domain Bounding in Distributed Task Scheduling.
756-760
Electronic Edition (link) BibTeX
- Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen:
Interactive Distributed Configuration.
761-765
Electronic Edition (link) BibTeX
- Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels:
Retroactive Ordering for Dynamic Backtracking.
766-771
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:43 2009
by Michael Ley (ley@uni-trier.de)
