Fahiem Bacchus
Fahiem Bacchus researched planning, knowledge representation, satisfiability and optimization. He earned his Alberta doctorate in 1988 and joined Toronto in 1999 after Waterloo faculty work. His shared TLPlan work used declarative domain knowledge to guide planning search and competed successfully in 2002. He also developed satisfiability methods and contributed to SAT and MaxSAT solvers. AAAI elected him a Fellow in 2006. He served as Toronto’s acting chair in 2010–2011 and died in September 2022.
- Works
- 208
- Citations
- 7,410
- h-index
- 46
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1988–1999
A Canadian academic career
Bacchus earned his Alberta computer-science doctorate in 1988, completed a Rochester postdoctoral period and held a Waterloo faculty role. He joined Toronto as a professor in 1999. His research combined mathematical representations with algorithms for practical reasoning problems.
-
2002
Domain knowledge in planning
Bacchus developed declarative search-control knowledge with Froduald Kabanza. With Michael Ady, he developed the TLPlan system, which succeeded in the AIPS 2002 planning competition.Their work used domain structure to guide planning search.
-
2006 and later
Satisfiability and optimization
AAAI elected Bacchus a Fellow in 2006. He developed the 2clseq solver and binary-clause reasoning, and later worked on SAT and MaxSAT solvers.
-
2010–2022
Department service and later life
Bacchus served as Toronto’s acting chair in 2010–2011 and led international AI and satisfiability organizations. He died on 22 September 2022.
Sources and credits
Photo: web.cs.toronto.edu; Fahiem Bacchus receives 2022 CAIAC Lifetime Achievement Award; creator not stated. License: Not stated by source. Source: web.cs.toronto.edu. Cropped to a square and resized. Ask us to remove or replace this photo.