My Home Page | Department of Computer Science | Faculty of Arts and Science | University of Toronto



Talks

Planning

  1. Control Intensive Planning F. Bacchus, Presented at the Planet International Summer School on AI Planning 2003
  2. Overview of AI Planning F. Bacchus, Presented at the Dagstuhl Seminar on Exploration of Large State Spaces 2001.
  3. AIPS2000 Planning Competition Results in Powerpoint, F. Bacchus Presented at AIPS2000. 2000.

CSPs and SAT

  1. Caching in Backtracking Search, F. Bacchus, Invited talk presented at CP 2007
  2. CSP's: Adding structure to SAT, F. Bacchus, Invited talk presented at SAT 2006 (CSPs from a SAT point of view)
  3. Tutorial on Sat and its relationship to CSPs. Presented at CP2005. (in 4up format). (SAT from a CSP point of view)
  4. A basic introduction to some of the ideas of Constraint Satisfaction Problems (for high school students)., F. Bacchus, Presented to Computing Insights class Summer 2000.