Keyword:portfolio solver

Papers
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