The section explains how to use the tutorial and explains the hardware/software requirements.
The introduction describes the aims and methods of the tutorial.
Follow this link for a linear presentation of the tutorial material.
We discuss the visualization tools and methods used in the tutorial in this section.
In this section we present the different problems that we discuss in the tutorial.
This section presents different techniques to improve the performance of finite domain programs.