Cube&Conquer-inspired Malleable Distributed SAT Solving

  • Forschungsthema:Verteilte Algorithmen, SAT Solving
  • Typ:Masterarbeit
  • Datum:April 2021
  • Betreuung:

    Peter Sanders, Dominik Schreiber

  • Bearbeitung:

    Maximilian Schick