Randy Hickey

According to our database, Randy Hickey authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Large Neighbourhood Search for Anytime MaxSAT Solving.

Randy Hickey, Fahiem Bacchus

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2020

Trail Saving on Backtrack.

Randy Hickey, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

Speeding Up Assumption-Based SAT.

Randy Hickey, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019