BriefGPT.xyz
Oct, 2011
SATzilla: 基于投资组合的 SAT 算法选择
SATzilla: Portfolio-based Algorithm Selection for SAT
HTML
PDF
Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
TL;DR
SATzilla是一种使用经验难度模型来构建每个实例算法组合的自动化方法,用于选择SAT问题的求解器,并在实验中得到了卓越的表现。
Abstract
It has been widely observed that there is no single "dominant"
sat
solver
; instead, different solvers perform best on different instances. Rather than following the traditional approach of choosing the best
→