CS 4804 Homework #2

Date Assigned: Sep 21, 2007
Date Due: Sep 28, 2007, in class, before class starts
  1. (20 points) Problem 5.13 of your textbook. Formulate this problem as a CSP and solve it using any of the techniques you have learnt for solving CSPs.

  2. (20 points) Again consider problem 5.13 of your textbook but this time formulate it as a boolean satisfiability problem (i.e., where the goal is to find a satisfying assignment for boolean variables such that the set of clauses are satisfied). You do not have to solve it for this question.

  3. (20 points) Problem 4 from the Fall 2006 midterm exam.

  4. (20 points) Problem 5 from the Fall 2006 midterm exam.

  5. (20 points) Problem 6 from the Fall 2006 midterm exam.

Return Home