Randy Hickey

I teach computer science courses at the University of Toronto. I am generally interested in artificial intelligence and my research focuses on improving Boolean satisfiability (SAT) solvers.

Publications

Speeding Up Assumption-Based SAT, Randy Hickey and Fahiem Bacchus, 2019 International Conference on Theory and Applications of Satisfiability Testing.
Trail Saving on Backtrack, Randy Hickey and Fahiem Bacchus, 2020 International Conference on Theory and Applications of Satisfiability Testing. Large Neighbourhood Search for Anytime MaxSAT Solving, Randy Hickey and Fahiem Bacchus, 2022 International Joint Conference on Artificial Intelligence (IJCAI).

Teaching

CI, CSC324 Principles of Programming Languages, 2025
CI, CSC148 Introduction to Computer Science, 2025
CI, CSC263 Data Structures and Analysis, 2025
CI, CSC343 Introduction to Databases, 2025
CI, CSC384 Introduction To Artificial Intelligence, 2023 - 2024
CI, CSC108 Introduction To Computer Programming, 2024