Randy Hickey

I teach computer science at the University of Toronto. I was previously studying in the Knowledge Representation group under the supervision of Fahiem Bacchus, Sheila McIlraith, and Eldan Cohen. I am generally interested in artificial intelligence and my current 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, 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

TA, CSC384 Introduction To Artificial Intelligence, 2017 - 2022
TA, CSCC69 Operating Systems, 2019
TA, CSC324 Principles of Programming Languages, 2019 - 2020
TA, CSC486 Knowledge Representation and Reasoning, 2021