Sima Jamali, David Mitchell. Improving SAT Solver Performance with Structure-based Preferential Bumping. In Christoph Benzmüller, Christine L. Lisetti, Martin Theobald, editors, GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. Volume 50 of EPiC Series in Computing, pages 175-187, EasyChair, 2017. [doi]
Abstract is missing.