Tuning Parallel SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thorsten Ehlers, Dirk Nowotka. Tuning Parallel SAT Solvers. 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 127-143, EasyChair, 2018. [doi]

This author has not been identified. Look up 'Thorsten Ehlers' in GoogleThis author has not been identified. Look up 'Dirk Nowotka' in Google

runs on WebDSL