Faculty profile

Fahiem Bacchus

ResearcherHead OfficeUniversity of Toronto

This profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a University of Toronto directory, so their publications, courses and email address may be missing. Find their university profile.

Signals and details

Research

Integer Programming Matchings in Economic Settings MaxSat Solvers Minimal Unsatisfiable Sets Sat solvers Synthesis

Latest funding

Advancing SAT solving algorithms with Applications to problems in Verification and AI
NSERC · 2016 · Principal investigator
$284,593
Correlation clustering for identical product detection
NSERC · 2014 · Principal investigator
$25,000
Improving the impact and effectiveness of solvers for complete problems
NSERC · 2011 · Principal investigator
$210,000

All 9 grants and awards

Something wrong or missing on this profile? Suggest a correction

Fahiem Bacchus

Research

Latest funding

Advancing SAT solving algorithms with Applications to problems in Verification and AI

Correlation clustering for identical product detection

Improving the impact and effectiveness of solvers for complete problems

Computing support for research in knowledge representation and reasoning

SAT and beyond, new algorithms for fundamental reasoning problems

The Institute for Robotics and Intelligent Systems (IRIS)

Advanced representation and reasoning techniques for planning and constraint satisfaction

Computing and networking equipment for knowledge representation group

Advanced representation and reasoning techniques for planning, scheduling, and decision support