Tutorials
Stochastic Local Search Based CSP Solver

Back to Tutorials.

Tutorial 2: Loading A Pre-existing CSP

The SLS applet comes with several pre-defined examples to allow you to start working with CSPs without having to create one yourself. To load a sample CSP, go to the 'File' menu and select 'Load Sample CSP'. A dialog will open with a drop-down menu allowing you to select a particular CSP.

image

  • Simple Problem 1: This simple CSP uses three integer variables and two constraints.
  • Simple Problem 2: This simple CSP uses three integer variables and three constraints.
  • Scheduling Problem 1: This CSP uses integer variables and some available integer constraints to model an example scheduling problem of trying to schedule meeting times.
  • Scheduling Problem 2: This CSP is similar to 'Scheduling Problem 1' but more difficult to solve and uses some custom constraints.
  • Crossword Problem 1: This is a 3x3 crossword problem (where A1, A2, A3 are the three rows across; and D1, D2, D3 are the three columns). The values of the domains are 3-letter words.
  • Crossword Problem 2: This is a simple crossword problem with five variables and five constraints.
  • Five Queens Problem: This models the problem of placing 5 queens on a 5x5 chessboard such that no two queens can attack each other.
  • Eight Queens Problem: Similar to "Five Queens Problem," except this time with eight queens on an 8x8 chessboard.

Valid HTML 4.0 Transitional