Scalable SAT Solving in the Cloud

  • Conference:

    24th International Conference on Theory and Applications of Satisfiability Testing (SAT)

  • Location:

    Barcelona, ES

  • Date:

    July 2021

  • Author(s):

    Dominik Schreiber, Peter Sanders

  • Speaker:

    Dominik Schreiber