Carla P. Gomes, Ashish Sabharwal. Exploiting Runtime Variation in Complete Solvers. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 271-288, IOS Press, 2009. [doi]
Abstract is missing.