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.