Seongsoo Moon, Mary Inaba. Boost SAT Solver with Hybrid Branching Heuristic. In Alex Fukunaga, Akihiro Kishimoto, editors, Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA. pages 56-63, AAAI Press, 2017. [doi]
Abstract is missing.