Overview

How to use the tutorial

The section explains how to use the tutorial and explains the hardware/software requirements.

Introduction

The introduction describes the aims and methods of the tutorial.

Slides

Follow this link for a linear presentation of the tutorial material.

Visualization Tools

We discuss the visualization tools and methods used in the tutorial in this section.

Problems

In this section we present the different problems that we discuss in the tutorial.

Improvement Techniques

This section presents different techniques to improve the performance of finite domain programs.

Copyright