Zack Newsham, Vijay Ganesh, Sebastian Fischmeister. Predicting SAT Solver Performance on Heterogeneous Hardware. In Daniel Le Berre, Matti Järvisalo, editors, Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. Volume 59 of EPiC Series in Computing, pages 18-33, EasyChair, 2018. [doi]
Abstract is missing.