MATERIALS

• ECLiPSe ELearning
• Chapter 1: Introduction
• Chapter 2: First Steps
• Chapter 3: Application Overview
• Chapter 4: Basic Constraint Reasoning (SEND+MORE=MONEY)
• Chapter 5: Global Constraints(Sudoku)
• Chapter 6: Search Strategies (N-Queens)
• Chapter 7: Optimization (Routing and Wavelength Assignment)
• Chapter 8: Symmetry Breaking (Balanced Incomplete Block Designs)
• Chapter 9: Choosing the Model (Sports Scheduling)
• Chapter 10: Customizing Search (Progressive Party Problem)
• Chapter 11: Limits of Propagation (Costas Array)
• Chapter 12: Systematic Development
• Chapter 13: Visualization Techniques
• Chapter 14: Finite Set and Continuous Variables - SONET Design Problem
• Chapter 15: Network Applications
• Chapter 16: More Global Constraints (Car Sequencing)

 

CURRICULUM VITAE

Helmut Simonis has been working on constraint programming for over 20 years. He was member of the CHIP project at ECRC in Munich, co-founder and technical director for COSYTEC in Orsay, and a principal research fellow at Imperial College London, as well as working for start-up companies Parc Technologies and CrossCore before joining 4C. His main interests are applications of constraint programming and debugging and visualization techniques for finite domain solvers with global constraints.

Personal website: http://4c.ucc.ie/~hsimonis