HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dirk Nowotka

Publications
Tuning Parallel SAT Solvers
Thorsten Ehlers and Dirk Nowotka
In:Proceedings of Pragmatics of SAT 2015 and 2018
Tuning Parallel SAT Solvers
Thorsten Ehlers and Dirk Nowotka
EasyChair Preprint no. 195

Keyphrases

parallel processing2, portfolio solver2, SAT2.

Copyright © 2012-2023 easychair.org. All rights reserved.