Scalable SAT Solving in the Cloud

  • Tagung:

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

  • Tagungsort:

    Barcelona, ES

  • Datum:

    Juli 2021

  • Autoren:

    Dominik Schreiber, Peter Sanders

  • Referent:

    Dominik Schreiber