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.
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).