CP 2011 - international conference on principles and practice of constraint programming

cp 2011

17th International Conference on Principles and Practice of
Constraint Programming

To be held in Perugia, Italy from 12-16th September 2011

City of Perugia, Italy

Conference Program

Sunday, September 11, 2011
Celebration of Gene Freuder's Retirement at CP 2011 from 11:00 AM to 6:00 PM (GMT+0100). Please register here to participate.

>> Monday >> Tuesday >> Wednesday >> Thursday >> Friday

September 12th, Monday
Time
18:00	A short guided tour of the city will start from the workshop's rooms
20:00	Welcome reception in Rocca Paolina (at "C.E.R.P." )

>> Monday >> Tuesday >> Wednesday >> Thursday >> Friday

September 13th, Tuesday
Time	first day
09:00	Welcome + Opening [Aula Magna]
09:25	Invited Talk [Aula Magna] Chair: Barry O'Sullivan Jean-Charles Règin (Universitè de Nice-Sophia Antipolis, CNRS, France). Solving Problems with CP: Four Common Pitfalls to Avoid [download presentation]
10:25	Coffee Break
10:55	Best Student Paper [Aula Magna] Chair: Francesca Rossi Marie Pelleau, Charlotte Truchet and Frederic Benhamou. Octagonal Domains for Continuous Constraints [download presentation]
11:20	Session 1 - CONSISTENCIES AND PROPAGATION (3) [Aula Magna] Chair: Standa Zivny Amit Metodi, Michael Codish, Vitaly Lagoon and Peter Stuckey. Boolean Equi-propagation for Optimized SAT Encoding [download presentation] Tivadar Papai, Parag Singla and Henry Kautz. Constraint Propagation for Efficient Inference in Markov Logic [download presentation] Serge Gaspers and Stefan Szeider. The Parameterized Complexity of Local Consistency [download presentation]	Session 2 - SYMMETRIES (3) [Aula 8] Chair: Toby Walsh Christopher Mears, Todd Niven, Marcel Jackson and Mark Wallace. Proving Symmetries by Model Transformation [download presentation] Karen Petrie and Christopher Jefferson. Automatic Generation of Constraints for Partial Symmetry Breaking [download presentation] Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz De Angulo and CarmeTorras. Symmetry Breaking in Numeric Constraint Problems [download presentation]
12:35	Lunch Break (ACP EC meetings lunch at Ristorante del Sole)
14:00	Session 1 - Tutorial [Aula Magna] Chair: Zeynep Kiziltan Meinolf Sellmann (IBM, USA). Automatic Solver Configuration and Solver Portfolios [download presentation]	Session 2 - SEARCH (4) [Aula 8] Chair: Lucas Bordeaux Siddhartha Jain and Pascal Van Hentenryck. Large Neighborhood Search for the Dial-a-ride Problem [download presentation] Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz and Peter Stuckey. Search Combinators [download presentation] Deepak Mehta, Barry O'Sullivan and Luis Quesada. Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering [download presentation] M.A.Hakim Newton, Duc-Nghia Pham, Abdul Sattar and Michael Maher. Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation [download presentation]
15:40	Coffee Break
16:10	Session 1 - THEORY (4) [Aula Magna] Chair: Thomas Schiex Martin C. Cooper and Stanislav Zivny. Tractable Triangles [download presentation] Paidi Creed and Stanislav Zivny. On Minimal Weighted Clones [download presentation] Gianluigi Greco and Francesco Scarcello. Structural Tractability of Constraint Optimization [download presentation] Barnaby Martin and Daniel Paulusma. The Computational Complexity of Disconnected Cut and 2K2-Partition [download presentation]	Session 2 - APPLICATIONS (4) [Aula 8] Chair: Gilles Peasant Fabien Hermenier, Sophie Demassey and Xavier Lorca. Bin Repacking Scheduling in Virtualized Datacenters [download presentation] Nicolas Beldiceanu and Helmut Simonis. A Constraint Seeker: Finding and Ranking Global Constraints from Examples [download presentation] Michel Lefebvre, Jean-François Puget and PetrVilim. Route Finder : Efficiently Finding K Shortest Paths Using Constraint Programming Martin Stølevik, Tomas Eric Nordlander, AtleRiise and HelleFrøyseth. A Hybrid Approach for Solving Real-World Nurse Rostering Problems [download presentation]
18:00	free time
19:30	Doctoral program dinner at "Mi' Cocco"

>> Monday >> Tuesday >> Wednesday >> Thursday >> Friday

September 14th, Wednesday
Time	second day
09:00	Invited talk [Aula Magna] Chair: Peter Stuckey Leonardo de Moura (Microsoft Research, One Microsoft Way, Redmond, WA, USA). Orchestrating Satisfiability Engines [download presentation]
10:00	Best Research Paper [Aula Magna] Chair: Christian Bessiere Georg Gottlob. On Minimal Constraint Networks [download presentation]
10:25	Coffee Break
10:55	Session 1 - Tutorial [Aula Magna] Chair: Jimmy Lee Chris Beck (University of Toronto, Canada), Timo Berdhold, Ambros Gleixner, Stefan Heinz, Kati Wolter (Zuse Institute Berlin, Germany). Integer Programming for Constraint Programmers [download presentation]	Session 2 - SOFT CONSTRAINTS AND OPTIMIZATION (4) [Aula 8] Chair: George Katsirelos Jessica Davies and Fahiem Bacchus. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances [download presentation] Emma Rollon and Javier Larrosa. Mini-Buckets with Dynamic Variable Elimination Ordering Nic Wilson and WalidTrabelsi. Pruning Rules for Constrained Optimisation for Conditional Preferences [download presentation] Peter Jonsson, Fredrik Kuivinen and Johan Thapper. Min CSP on Four Elements: Moving Beyond Submodularity [download presentation]
12:35	Lunch Break cum Doctoral Poster Session + [show details] First session: - Aschinger, Markus: A new logic-based formalism for Configuration problems - Bonfietti, Alessio: A constraint based approach to cyclic RCPSP - Campagna, Dario: A CLP-based System For Custom Product Manufacturing - Davies, Jessica: Solving MAXSAT by Solving a Sequence of Simpler SAT Instances - De Clercq, Alexis: Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource - Downing, Nicholas: Explaining flow-based propagation Elsayed, Samir A. Mohamed: Synthesis of Search Algorithms from High-level CP Models - Escamocher, Guillaume: Mapping Out the Tractability of 3-Variable Forbidden Patterns - Fages, Jean-Guillaume: Revisiting the tree Constraint Flerova, Natalia: Bucket and Mini-bucket Schemes for M Best Solutions over Graphical Models - Francisco, Maria: Consistency of Constraint Networks Induced by Automaton-Based Constraint Specifications - Gwynne, Matthew: Towards a better understanding of hardness Hyvärinen, Antti: Grid-Based SAT Solving with Iterative Partitioning and Clause Learning - Lai, Katherine: The Min Average Latency Steiner Multigraph Problem: Budget-Constrained Wildlife Corridor Design for Multiple Species - Le Bras, Ronan: Constraint Reasoning and Kernel Clustering for Pattern Decomposition With Scaling - [hide details]
14:00	Session 1 -GLOBAL CONSTRAINTS (3) [Aula Magna] Chair: Ashish Sabharwal Justin Yip and Pascal Van Hentenryck. Checking and Filtering Global Set Constraints Thierry Petit, Jean-Charles Régin and Nicolas Beldiceanu. A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint [download presentation] Jean-Guillaume Fages and Xavier Lorca. Revisiting the Tree Constraint [download presentation]	Session 2 QUANTIFICATIONS (3) [Aula 8] Chair: Emmanuel Hebrard Barnaby Martin. QCSP on Partially Reflexive Forests [download presentation] Cédric Pralet and Gérard Verfaillie. Beyond QCSP for Solving Control Problems [download presentation] Allen Van Gelder. Variable Independence and Resolution Paths for Quantified Boolean Formulas [download presentation]
15:15	CP 2012 Announcement [Aula Magna]
15:30	Excursion and (historical medieval) dinner in Assisi (the excursion will end at about midnight)

>> Monday >> Tuesday >> Wednesday >> Thursday >> Friday

September 15th, Thursday
Time	third day
09:00	ACP Research Excellence Award and Presentation [Aula Magna] Patrick Prosser (Glasgow)
10:00	ACP Doctoral Research Award and Presentation [Aula Magna] Stanislav Zivny (Oxford) [download presentation]
10:30	Coffee Break
10:55	Session 1 - SOLVER AND IMPLEMENTATION (4) [Aula Magna] Chair: Guido Tack Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz and Meinolf Sellmann. Algorithm Selection and Scheduling [download presentation] Thibaut Feydy, Zoltan Somogyi and Peter Stuckey. Half Reification and Flattening [download presentation] Jean Marie Lagniez, Bertrand Mazure and Eric Gregoire. A CSP Algorithm Focusing on FAC Variables [download presentation] Vianney Le Clément De Saint-Marcq, Yves Deville and Christine Solnon. An Efficient Light Solver for Querying the Semantic Web	Session 2 - MODELLING (4) [Aula 8] Chair: Nicolas Beldiceanu Samba Ndojh Ndiaye and Christine Solnon. CP Models for Maximum Common Subgraph Problems [download presentation] Samir A. Mohamed Elsayed and Laurent Michel. Synthesis of Search Algorithms from High-level CP Models [download presentation] Diarmuid Grimes and Emmanuel Hebrard. Models and Strategies for Variants of the Job Shop Scheduling Problem [download presentation] Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover. Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling [download presentation]
12:35	Lunch Break cum Doctoral Poster Session + [show details] Second session: - Le Clément, Vianney: An Efficient Light Solver for Querying the Semantic Web - Letort, Arnaud: Cumulatives trajectories: a Constraint for Modelling Preemptive Reassignable Tasks with Momenterily Resource Consumption - Mairy, Jean-Baptiste: Reinforced Adaptive Large Neighborhood Search - Massen, Florence: A Relaxation-Guided Approach for Vehicle Routing Problems with Black Box Feasibility - Metodi, Amit: Boolean Equi-propagation for Optimized SAT Encoding - Nabli, Faten: Finding minimal siphons and traps as a Constraint satisfaction Problem - O'Mahony, Eoin: Incorporating Variance in Impact-Based Search - Pacino, Dario: Adaptive Randomized Decompositions for Jobshop Scheduling - Pelleau, Marie: Octagonal Domains for Continuous constraints - Petke, Justyna: The Order Encoding: From Tractable CSP to Tractable SAT - Roubickova, Anna: Flexible timeline-based planning and its constraints - Scott, Joseph: A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints - Tomasi, Silvia: Satisfiability Modulo Theory with Cost Optimization - Trabelsi, Walid: Pruning Rules for Constrained Optimisation for Conditional Preferences - Xu, Hu: Genetic Based Automatic Congurator for Minion - [hide details]
14:00	Tutorial [Aula Magna] Chair: Christian Schulte Luc De Raedt, Siegfried Nijssen (K.U. Leuven, Belgium). Machine Learning and Data Mining: Challenges and Opportunities for Constraint Programming [download presentation]	Doctoral Tutorial [Aula 8] Chair: Christopher Jefferson Laurent Michel (University of Connecticut, USA). Mastering the Empirical Maze [download presentation]
15:40	Coffee Break
16:10	Session 1 - CONSISTENCIES AND PROPAGATION (2) [Aula Magna] Chair: Simon de Givry Jinsong Guo, Zhanshan Li, Liang Zhang and XuenaGeng. maxRPC Algorithms Based on Bitwise Operations [download presentation] Jean-François Condotta and Christophe Lecoutre. A Framework for Decision-based Consistencies [download presentation]	Session 2 NEW DOMAINS AND CONSTRAINTS (2) [Aula 8] Chair: Alan Frisch Andrea Bartolini, Michele Lombardi, Michela Milano and Luca Benini. Neuron Constraints to Model Complex Real World Problem [download presentation] Alessio Bonfietti, Michele Lombardi, Michela Milano and Luca Benini. A Constraint Based Approach to Cyclic RCPSP [download presentation]
17:00	ACP General Assembly [Aula Magna]
18:45	PC members National Gallery guided tour
19:15	Free visit at National Gallery
19:45	Jazz concert and Jam session at National gallery (Sala Maggiore)
21:00	PC banquet (restaurant "Il Paiolo")

>> Monday >> Tuesday >> Wednesday >> Thursday >> Friday

September 16th, Friday
Time	fourth day
09:00	Invited Talk [Aula Magna] Chair: Stefano Bistarelli Laurent Perron (Google SA Paris, France). Operations Research and Constraint Programming at Google [download presentation]
10:00	Best Application Paper [Aula Magna] Chair: Helmut Simonis Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama and Makoto Yokoo. The Design of Cryptographic Substitution Boxes Using CSPs [download presentation]
10:25	Coffee Break
10:55	Session 1 -QUANTIFICATIONS (3) [Aula Magna] Chair: Fahiem Bacchus Mikolas Janota and Joao Marques-Silva. On Deciding MUS Membership with QBF [download presentation] Oswaldo Olivo and E. A. Emerson. A More Efficient BDD-Based QBF Solver [download presentation] Weiming Liu, Shengsheng Wang and Sanjiang Li. Qualitative Constraint Solving Involving Landmarks [download presentation]	Session 2 - SEARCH (2) & THEORY (2) [Aula 8] Chair: Dave Cohen Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo and Meinolf Sellmann. Optimism Pays Off: Incorporating Variance in Impact-Based Search [download presentation] Runming Lu, Sheng Liu and Jian Zhang. Searching for Doubly Self-Orthogonal Latin Squares [download presentation] David Cohen, Martin Cooper, Martin Green and Daniel Marx. On Guaranteeing Polynomially-bounded Search Tree Size [download presentation] Martin C. Cooper and Stanislav Zivny. Hierarchically Nested Convex VCSP [download presentation]
12:35	Lunch Break
14:00	Session 1 - APPLICATIONS (2) & DISTRIBUTED CSPS (2) [Aula Magna] Chair: Pedro Meseguer Andreas Schutt, Peter J. Stuckey and Andrew R. Verden. Optimal Carpet Cutting [download presentation] Gérard Verfaillie and Cédric Pralet. Constraint Programming for Controller Synthesis [download presentation] Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo and BoiFaltings. Pseudo-tree-based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, BoiFaltings and Hiroshi Matsuo. Reducing the Search Space of Resource Constrained DCOPs [download presentation]	Session 2 - GLOBAL CONSTRAINTS (2) & SAT (2) [Aula 8] Chair: Meinolf Sellman Roger Kameugne, Laure Pauline Fotso, Joseph Scott and Youcheu Ngo-Kateu. A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints [download presentation] Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu and NarendraJussien. Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource [download presentation] Antti Hyvärinen, Tommi Junttila and Ilkka Niemelä. Grid-Based SAT Solving with Iterative Partitioning and Clause Learning [download presentation] Matti Järvisalo. On the Relative Efficiency of DPLL and OBDDs with Axiom and Join [download presentation]
15:40	Coffee Break
16:10	Celebration of Gene Freuder's Retirement [Aula Magna]
16:25	*Panel on The Future of CP* [Aula Magna] Moderator: Francesca Rossi [download presentation] Confirmed panelists**: Gene Freuder [download presentation] , Jimmy Lee [download presentation], Barry O'Sullivan [download presentation], Gilles Peasant [download presentation], Meinolf Sellmann [download presentation], Toby Walsh [download presentation].
17:55	Lucky draw, drinks and finger food