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.

Publications

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

Teaching

TA, CSC384 Introduction To Artificial Intelligence, 2017 - 2019 (6 times)
TA, CSCC69 Operating Systems, 2019