I was a co-author for three papers in this year's CP conference. Nicolas and myself had a paper in the technical track of the conference, describing our Model Seeker tool. Model Seeker Presentation Poster
The second paper describes our (Deepak Mehta, Barry O'Sullivan and myself) solution to the ROADEF/EURO challenge of this year. Our team, S38, came second overall, with a specific constraint based approach implementing a large neighborhood search. This paper was in the application track of the conference. Machine Reassignment Presentation Poster
The third paper was in the multi-disciplinary track of the conference. It is about energy price aware scheduling, combining machine learning for the prediction of the energy price in Ireland, and optimization for a scheduling problem. This joint work with Georgiana Ifrim and Barry O'Sullivan. Energy Price Presentation Poster
In another part of the conference was a panel on future research directions for Constraint Programming. I helped to put a position paper together, the other authors are Nicolas Beldiceanu, Pierre Flener, Jean-Noel Monette and Justin Person from the Ecole des Mines de Nantes and from Uppsala University. Poster
There will be more on the ModelSeeker next week at the CoCoMile2012 workshop of ECAI2012 and at CP2012 in Quebec.

I gave an invited talk on optimization with variable energy prices (abstract) at the conference. The slides are here. All presentations at the conference were recorded and are available as videos in itunes. A link to the list of talks is here.






The slides from my presentation are here.

Nicolas and myself have been working on an extension of the Constraint Seeker for automated modelling of problems from examples. A description of our first attempt is in this paper.

Barry and myself reported on the Almost Square Packing Problem (Presentation), a variant of the square packing problem we looked at in our CP2008 paper.

I've started a blog on constraint applications.
CP-VIZ: An Open Source Visualization Platform for CP (Presentation) (Abstract) with P. Davern in "Open Source Tools for Constraint Programming and Mathematical Programming"
VIZ - A Generic Constraint Visualization Tool (Presentation) with P. Davern, presented at the SweConsNet Meeting 2010
A Resource Cost Aware Cumulative with Tarik Hadzic

This is a self-study course on constraint programming using the ECLiPSe language. The course consists of video lectures, slides, handouts and other material. The slides have been updated for the course, the video lectures are not using the latest slide versions.
Solving the Static Design Routing and Wavelength Assignment Problem Presentation (PDF)
Shikaku as a Constraint Problem Presentation (PDF)


| Pictures from CP2008 | Sydney, Australia | Index Sheet | ||
| Search Strategies for Rectangle Packing. | H. Simonis and B. O'Sullivan. CP 2008 Application Track. | Download PDF | Slides | Watch the Trailer! | Kakuro as a Constraint Problem | MODREF08, Sydney Australia, September 2008 | Download PDF | Slides |
| Search-Tree Visualization | DiSCiPl book | Download PDF |
| Complex Constraint Abstraction: Global Constraint Visualization | DiSCiPl book | Download PDF |
| Using Constraint Visualization Tools | DiSCiPl book | Download PDF |
| Constraint Applications in Networks | Handbook of Constraint Programming | Download PDF |
| Building Industrial Applications with Constraint Programming | CCL-2 Combination of Computational Logics | Download PDF |
| TACT An Integrated Transportation Problem Solved with CHIP | IEEE Intelligent Systems and their Applications | Download PDF |
| Models for Global Constraint Applications | Constraints, 2007 | Download PDF |
| Constraint Satisfaction Using Constraint Logic Programming | Artificial Intelligence, 1992 | Download PDF |
| Solving the Car Sequencing Problem in Logic Programming | ECAI 1988 | Download PDF |
| APACHE - A Constraint Based, Automated Stand Allocation System | ASTAIR 1991 | Download PDF |
| Modelling Producer/Consumer Constraints | CP 1995 | Download PDF |
| Building Industrial CHIP Applications from Reusable Software Components | PAP95 | Download PDF |
| L' apport des contraintes globales pour la modelisation et la resolution d'applications industrielles | FRANCORO 1998 | Download PDF |
| Challenges for Constraint Programming in Networking | CP2004 | Download PDF |
| Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons | ICN2005 | Download PDF |
| Constraint Based Resilience Analysis | CP2006 | Download PDF |
| Presentation PDF |
| The Use of Exclusion Constraints to Handle Location Continuity | CP Workshop ILPS 1994 | Download PDF |
| A Problem Classification Scheme for Finite Domain Constraint Programming | Modelling Workshop CP1996 | Download PDF |
| Calculating Lower Bounds on a Resource Scheduling Problem | CP Workshop ASIAN 1996 | Download PDF |
| A Note on CSPLIB prob007 | CSPLIB007 | Download PDF |
| Cutting Stock Revisited | COSYTEC TR, 1999 | Download PDF |
| News on Producers and Consumers | COSYTEC TR, 1999 | Download PDF |
| Blend Optimization inside FORWARD - Constraint Hierarchies and Relaxation on a Real-life Example | COSYTEC TR, 1994 | Download PDF |
| Constraint Logic Programming | KIFS95 | Download PDF |
| Scheduling and Planning with Constraint Logic Programming | PAP95 | Download PDF |
| A Problem Classification Scheme - When to use CLP | PACT96 | Download PDF |
| Standard Models for Finite Domain Constraint Solving | PACT97 | Download PDF |
| Standard Models Two for Finite Domain Constraint Solving | PACT98 | Download PDF |
| Visualization in Constraint Logic Programming | PACLP99 | Download PDF |
| Finite Domain Constraint Programming Methodology | PACLP2000 | Download PDF |
| Developing Applications with ECLiPSe | IC-Parc 2003-2 | Download PDF |
| Nurse Rostering with Constraint Programming - An Overview | EPSRC Interdisciplinary Scheduling Network Workshop on Rostering of Hospital Medical Staff | Download PDF |
| Constraint Applications Using Graph Theory Results | CP-AI-OR 2004 | Download PDF |
| Bibliography PDF |
| Interactive Website on Constraint Debugging and Visualisation | Start Website |
| A Note on Perfect Square Placement | CSPLIB prob009 | Download PDF |
| Square Placement Variants | DiSCiPl workshop 98 | Presentation PDF |
| Generalized Euler's Knight | unpublished | Download PDF |
| Sudoku as a Constraint Problem | Modelling Workshop CP2005 | Download PDF |
| Kakuro as a Constraint Problem | Modref 2008 | Download PDF |
| A Tale of Two Puzzles | unpublished | Presentation PDF |
| Dominoes as a Constraint Problem | unpublished | Download PDF |
| Shikaku as a Constraint Problem | CSCLP 2009 | Download PDF |