UoN CS ASAP
Home Teaching Supervision Grants Publications Academics

Constraint Logic Programming (G53CLP)

  • Module Details; Timetable
  • E.P.K. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
  • Freuder E. and Wallace M. Constraint Programming. In: E.K. Burke and G. Kendall (eds.). Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques. Springer, Chapter 9, 2005.
  • The reading list of this module in our library.
    • Thur 11am-1pm
    Bus South A26    		 Topic (Tsang, 1993)
    27th Jan Course Introduction Introduction to CP & CSP Chap. 1
    3rd Feb Scheduling & Approaches & Constraint Based Scheduling - Intro slides of P. Baptiste
    10th Feb no lecture  
    17th Feb Constraint Based Scheduling - Modelling & CP Techniques - Intro
    		Chap. 2 & 4 excl. 4.5-4.7
    24th Feb Constraint Propagation & Consistency Techniques Chap. 3 & 5
    3rd Mar Constraint Based Scheduling - Propagation  
    10th Mar Modelling 8-Queen Problem & Demo  
    17th Mar Modelling Issues Demo Sudoku & Basic Search Strategies  
    24th Mar Constraint Optimisation Problems Chap. 10
    31st Mar Ordering I & II & Revision Chap. 6
    Tue 4pm-5pm
    Comp B52

    Lab Sessions

    Comments

    15th Mar Lab I  
    22nd Mar Lab II lab supplement
    29th Mar Lab III & Assignment (updated on 30th Mar)  

    Assessments

    G53CLP is assessed by 80% on exam and 20% on lab assignments.

    Lab Assignment

    There are two parts in lab assignments:
    - attend and hand in your answers to the lab tasks (LabI - Lab III) in the three lab sessions (10%)
    - hand in your report and answers to the Assignment by Friday 13th May at 15:00 (10%)

    Exam

    Exam questions cover all the content in the lectures. You need to answer FOUR out of 6 questions given in the exam, ONE of them compulsary. Please note the questions you have attempted clearly on the front page of your answer book.

    A sample exam paper shows how exam questions are given and marked. A university guidance of examinations is available at the Courses Office web site.

    2009/2010 G52AIP exam feedback.
    2010/2011 G53CLP exam / lab / assignment feedback.

    Reading materials

    Other reading materials are

  • Constraint Based Scheduling - Search
  • Rina Dechter. Constraint Processing, Morgan Kaufmann Series in Artificial Intelligence, 2003.
  • Kim Marriott and Peter J. Stuckey Programming with Constraints: an Introduction , MIT Press, 1998.
  • Thom Frühwirth and Slim Abdennadher Essentials of Constraint Programming, Springer Verlag, 2003.
  • Constraint-Based Scheduling: A Tutorial by C. Le Pape, ILOG.
  • Roman Barták. Constraint Programming: In Pursuit of the Holy Grail. Proceedings of WDS99 (invited lecture), Prague, June, (1999).
  • B.M. Smith, A Tutorial on Constraint Programming.
  • Roman Barták, Theory and Practice of Constraint Propagation. In J. Figwer (editor) Proceedings of the 3rd Workshop on Constraint Programming in Decision and Control, June 2001, Poland.

    • Last updated date 22/June/2011