Browsing by Subject "self-tuning"
Now showing items 1-1 of 1
-
AvatarSAT: An Auto-tuning Boolean SAT Solver
(2009-08-26)We present AvatarSAT, a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis. The classifiers use features of both the input and ...