Randy Hickey

I am a PhD student at the University of Toronto studying in the Knowledge Representation group under the supervision of Fahiem Bacchus. I am generally interested in artificial intelligence and my current research focuses on improving Boolean satisfiability (SAT) solvers.


Randy Hickey and Fahiem Bacchus. "Speeding Up Assumption-Based SAT." International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019.


TA, CSC384 Introduction To Artificial Intelligence, 2017 - 2020
TA, CSCC69 Operating Systems, 2019
TA, CSCC24 Principles of Programming Languages, 2019