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