conftrace_

restart strategy

5 papers

Explore in graph

Co-occurring keywords

optimization algorithm (148) stochastic local search (8) search heuristic (10) search similarity index (1) heuristic analysis (2) maximum clique (11) runtime prediction (6) tree size estimation (1) time budget (2) maximum weight clique (1)

Papers

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) AAAI 2023
A Simple Approach for Non-stationary Linear Bandits AISTATS 2020
Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI 2019
An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search AAAI 2019
Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation IJCAI 2017