|
Tutorials
Consistency Based CSP Solver
Tutorial 1: Creating a new CSPThis tutorial gives information about how to create a new CSP from scratch. You can skip this section if you only need to work with the ready-made CSPs. Tutorial 2: Loading a preexisting CSPThis tutorial covers how to load one of the ready-made CSPs and gives a brief description of each of them. Tutorial 3: Solving a CSPThis tutorial covers how to solve a CSP, and includes domain splitting and backtracking. |
Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP |