Instance-Based Selection of Policies for SAT Solvers.

Mladen Nikolic, Filip Maric, Predrag Janicic

Browse the full SAT paper archive.