conftrace_

random exploration

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

variance exploitation (1) kernel-based bandit (1) branching heuristic (1) conflict depression (1) stochastic linear bandit (1) sat solving (1) conflict-driven clause learning (1) search algorithm (1) sat solver (1) concentration bound (1)

Papers

Random Exploration in Bayesian Optimization: Order-Optimal Regret and Computational Efficiency ICML 2024 CORe: Capitalizing On Rewards in Bandit Exploration UAI 2021 Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020