Randy Hickey

According to our database¹, Randy Hickey authored at least 4 papers between 2019 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Reusing Work and Avoiding Redundant Work in Propositional Logic Solvers

[BibT_eX]

[DOI]

PhD thesis, 2024

2022

Large Neighbourhood Search for Anytime MaxSAT Solving.

[BibT_eX]

[DOI]

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

2020

Trail Saving on Backtrack.

[BibT_eX]

[DOI]

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

2019

Speeding Up Assumption-Based SAT.

[BibT_eX]

[DOI]

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