alice
constraint
tutorial.
Contents
Tour
Language
Library
CP Tutorial
Tools
Index
Next:
Contents
Contents
Constraint Programming in Alice. A tutorial.
by
Christian Schulte, Gert Smolka, Tobias Müller, Dominik Brill
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
History
Problem Description
Viewpoints for the Sudoku Problem
Selecting Viewpoints
Writing Problem Solvers in Alice
Format of Scripts
Example: Send More Money
Problem Specification
Viewpoint
Branching Strategy
Script
Posting of constraints
The Explorer
Selecting nodes
Hiding nodes
Double clicking nodes
Open and closed choice nodes
Stopping exploration
Resuming exploration
Resetting the Explorer
Hand-guided exploration
Zooming the search tree
Example: Safe
Problem Specification
Viewpoint and Branching Strategy
Script
Elimination of Symmetries and Defined Constraints
Example: Grocery
Problem Specification
Viewpoint
Branching Strategy
The use of defined constraints
Script
A subtle symmetry
Example: Family
Problem Specification
Viewpoint
Branching Stratgey
Script
Example: Zebra Puzzle
Problem Specification
Viewpoint
Branching Strategy
Script
Parameterized Scripts
Example: Queens
Viewpoint
Branching Strategy
Script
Using global constraints
Example: Changing Money
Problem Specification
Viewpoint
Branching Strategy
Script
Example: Sukoku Puzzle
Viewpoint
Branching Strategy
Script
Minimizing a Cost Function
Example: Coloring a Map
Problem Specification
Viewpoint
Branching Strategy
Script
Example: Conference
Problem Specification
Viewpoint
Branching Strategy
Script
Propagators for Redundant Constraints
Example: Fractions
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Example: Pythagoras
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Example: Magic Squares
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Reified Constraints
Getting Started
Reification of a constraint
0/1-variables
Posting reified constraints
Example: Aligning for a Photo
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Example: Self-referential Aptitude Test
Problem Specification
Viewpoint and Constraints
Reified Membership Constraints
Branching Strategy
Script
Example: Bin Packing
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Branch and Bound
Example: Aligning for a Photo, Revisited
Script
Example: Send Most Money
Script
Example: Locating Warehouses
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Problem Solving with Finite Set Constraints
Introduction
Set Values
Set Constraints
Set Constraint Propagation
Connecting Finite Sets and Finite Domains
Branching
The Steiner Problem
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
Improving the Model
Extending the Solver
Generating Hamming Codes
Problem Specification
Viewpoint and Constraints
Script
Packing Files onto Disks
Problem Specification
Viewpoint and Constraints
Branching Strategy
Script
A Crew Allocation Problem
Problem Specification
Viewpoint and Constraints
Script
Scheduling a Golf Tournament
Problem Specification
Maximal Number of Weeks
Viewpoint and Constraints
Branching Strategy
Script
Example: Sudoku Problem - Revisited
Viewpoint
Branching Strategy
Script
Combined Viewpoints
Construction of a combined Model
Channeling constraints
Example: Sudoku Problem
New Problem Description
Viewpoint and Constraints
Branching Strategy
Script
Bibliography
Guido Tack 2006-08-24
