CSE 599F1: Constraint Programming

Winter 2017

General Information

Class: Wed Fri 1:30 - 2:50, CSE 203. 4 credits.

• Syllabus
• Papers and schedule (CSE NetId required -- includes preliminary drafts etc)
• Project ideas
• Course discussion board
• Dropbox for turning in assignments and project paper

Topics (partial list)

• Logic programming and related languages
  • Constraint logic programming, including clpr, CHIP, etc.
  • Concurrent constraint programming
  • Functional logic programming
• Constraint languages with state
  • Object constraint programming
  • Reactive constraint programming (plus related work in reactive programming and simulation languages)
  • Constraints and object identity
• Multi-paradigm constraint languages
• Semantics of constraints and solvers; hard and soft constraints
• Constraint solvers
  • SAT solvers
  • SMT solvers
  • Incremental solvers for interactive systems (e.g., DeltaBlue, Cassowary)
  • Numeric solvers for nonlinear constraints (e.g., Ceres)

Lecture Notes

• Constraint Logic Programming

Assignments

• Assignment 1: Constraint Logic Programming
• Assignment 2: Soft Constraints; sample solution
• Course project requirements and due dates

• Alan Borning, borning at cs. Office: CSE 478. Office hours: whenever the door is open, or by appointment. (If there is demand, I can schedule actual office hours .... but my experience is that grad students don't pay any attention to them anyway.)