Institute of Theoretical Informatics, Algorithm Engineering

Compression Techniques for SAT Formula Descriptions

  • Subject:SAT Solving, Compression
  • Type:Bachelorarbeit
  • Date:December 2018
  • Supervisor:

    Dominik Schreiber

  • Student:

    Jens Manig