Scalable SAT Solving in the Cloud - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dominik Schreiber, Peter Sanders 0001. Scalable SAT Solving in the Cloud. In Chu Min Li, Felip Manyà, editors, Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Volume 12831 of Lecture Notes in Computer Science, pages 518-534, Springer, 2021. [doi]

This author has not been identified. Look up 'Dominik Schreiber' in GoogleThis author has not been identified. Look up 'Peter Sanders 0001' in Google

runs on WebDSL