Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Randy Hickey

dblp:243/7331 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
1since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 3 first-author · 1 since 2021Theory of computation · 2 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Mathematical optimization · 100%
Artificial intelligence
1 paper
Planning, search and constraint satisfaction · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › constraint optimization
maximum satisfiability
0.612022
Large Neighbourhood Search for Anytime MaxSAT Solving · IJCAI 2022
Mathematical optimization
combinatorial optimization
0.612022
Large Neighbourhood Search for Anytime MaxSAT Solving · IJCAI 2022
Mathematical optimization › metaheuristic optimization
large neighborhood search
0.612022
Large Neighbourhood Search for Anytime MaxSAT Solving · IJCAI 2022

Methods — techniques the papers use, named apart from their topics

large neighborhood search · 1.1
YearPublicationVenuePosition
2022 Large Neighbourhood Search for Anytime MaxSAT Solving
abstract
Large Neighbourhood Search (LNS) is an algorithmic framework for optimization problems that can yield good performance in many domains. In this paper, we present a method for applying LNS to improve anytime maximum satisfiability (MaxSAT) solving by introducing a neighbourhood selection policy that shows good empirical performance. We show that our LNS solver can often improve the suboptimal solutions produced by other anytime MaxSAT solvers. When starting with a suboptimal solution of reasonable quality, our approach often finds a better solution than the original anytime solver can achieve. We demonstrate that implementing our LNS solver on top of three different state-of-the-art anytime solvers improves the anytime performance of all three solvers within the standard time limit used in the incomplete tracks of the annual MaxSAT Evaluation.
Randy Hickey, Fahiem Bacchus
IJCAI1
2020 Trail Saving on Backtrack
Randy Hickey, Fahiem Bacchus
SAT1
2019 Speeding Up Assumption-Based SAT
Randy Hickey, Fahiem Bacchus
SAT1