![[DCS Home Page]](../gifs/ut.gif)
![[DCS Banner Image]](../gifs/ut.trans.title.gif)
Fahiem Bacchus
Presentations available on-line
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 Spaces 2001.
- AIPS2000
Planning Competition Results in Powerpoint,
F. Bacchus Presented at AIPS2000. 2000.
CSPs, SAT, Maxsat
- 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.
Back to my home page.