Asynchronous Clause Exchange for Malleable SAT Solving

  • Subject:SAT Solving, Distributed Algorithms
  • Type:Masterarbeit
  • Date:August 2021
  • Supervisor:

    Dominik Schreiber, Markus Iser

  • Student:

    Malte Sönnichsen