Speeding Up Assumption-Based SAT. - Randy Hickey; Fahiem Bacchus (SAT, 2019)

Trail Saving on Backtrack. - Randy Hickey; Fahiem Bacchus (SAT, 2020)

Large Neighbourhood Search for Anytime MaxSAT Solving. - Randy Hickey; Fahiem Bacchus (IJCAI, 2022)

Reusing Work and Avoiding Redundant Work in Propositional Logic Solvers - Randy Hickey (2024)