Predicting SAT Solver Performance on Heterogeneous Hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zack Newsham' in GoogleThis author has not been identified. Look up 'Vijay Ganesh' in GoogleThis author has not been identified. Look up 'Sebastian Fischmeister' in Google

runs on WebDSL