Research
Software
Quantified Boolean Formulas (QBF) [New]
Conferences
SAT2005
PC co-chair
UAI2005
PC co-chair
CP2004
Conference co-chair
AIMATH 2004
PC co-chair
IPC2000
International planning competion chair.
Teaching
CSC2512: Constraint Satisfaction Problems.
Current Undergraduate Teaching