Randy Hickey

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 3

Top Topics

Heuristic Search

Artificial Intelligence

Neighbourhood Search

Top Venues

Publications

Randy Hickey, Fahiem Bacchus
Large Neighbourhood Search for Anytime MaxSAT Solving. IJCAI (2022)
Randy Hickey, Fahiem Bacchus
Trail Saving on Backtrack. SAT (2020)
Randy Hickey, Fahiem Bacchus
Speeding Up Assumption-Based SAT. SAT (2019)