Contents

• List of Figures
• Introduction
  • More Information
  • The Examples
  • Acknowledgements
  
  
• Propagate and Branch
  • Finite Domains and Constraints
  • Constraint Propagation
  • Spaces, Propagators, and Constraint Stores
  • Interval and Domain Propagation
  • Incompleteness of Propagation
  • Branching and Search Trees
  • An Example
  • Branching Strategies
  • Search Order
  
  
• Constraint Satisfaction Problems, Models and Viewpoints
  • Constraint Satisfaction Problem (CSP) and Models
  • Viewpoint
  • Example: Sudoku Puzzle
  • Selecting Viewpoints
  
  
• Writing Problem Solvers in Alice
  • Format of Scripts
  • Example: Send More Money
  • The Explorer
  • Example: Safe
  
  
• Elimination of Symmetries and Defined Constraints
  • Example: Grocery
  • Example: Family
  • Example: Zebra Puzzle
  
  
• Parameterized Scripts
  • Example: Queens
  • Example: Changing Money
  • Example: Sukoku Puzzle
  
  
• Minimizing a Cost Function
  • Example: Coloring a Map
  • Example: Conference
  
  
• Propagators for Redundant Constraints
  • Example: Fractions
  • Example: Pythagoras
  • Example: Magic Squares
  
  
• Reified Constraints
  • Getting Started
  • Example: Aligning for a Photo
  • Example: Self-referential Aptitude Test
  • Example: Bin Packing
  
  
• Branch and Bound
  • Example: Aligning for a Photo, Revisited
  • Example: Send Most Money
  • Example: Locating Warehouses
  
  
• Problem Solving with Finite Set Constraints
  • Introduction
  • The Steiner Problem
  • Generating Hamming Codes
  • Packing Files onto Disks
  • A Crew Allocation Problem
  • Scheduling a Golf Tournament
  • Example: Sudoku Problem - Revisited
  
  
• Combined Viewpoints
  • Construction of a combined Model
  • Example: Sudoku Problem
  
  
• Bibliography