Cube&Conquer-inspired Malleable Distributed SAT Solving

  • Subject:Distributed Algorithms, SAT Solving
  • Type:Master Thesis
  • Date:April 2021
  • Supervisor:

    Peter Sanders, Dominik Schreiber

  • Student:

    Maximilian Schick