Asynchronous Clause Exchange for Malleable SAT Solving

  • Forschungsthema:SAT Solving, Distributed Algorithms
  • Typ:Masterarbeit
  • Datum:August 2021
  • Betreuung:

    Dominik Schreiber, Markus Iser

  • Bearbeitung:

    Malte Sönnichsen