Talks and Presentations
CSPs, SAT, MaxSat, etc.
- Maxsat Tutorial, F. Bacchus. Tutorial given at ICAPS 2013
- Caching in Backtracking Search, F. Bacchus, Invited talk presented at CP 2007
- CSP's: Adding structure to SAT, F. Bacchus, Invited talk presented at SAT 2006 (CSPs from a SAT point of view)
- Tutorial on Sat and its relationship to CSPs.Presented at CP2005. (in 4up format). (SAT from a CSP point of view)
- 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.
Planning
- Control Intensive Planning F. Bacchus,Presented at the Planet International Summer School on AI Planning 2003
- Overview of AI Planning F. Bacchus, Presented at the Dagstuhl Seminar on Exploration of Large State Spaces2001.
- AIPS2000 Planning Competition Results in Powerpoint, F. Bacchus, Presented at AIPS2000.