Randy Hickey

I am a PhD student at the University of Toronto 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, CSC384 Introduction To Artificial Intelligence, 2023

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