Recognition of Constraints in CNF Formulas

  • Type:Bachelor Thesis
  • Date:October 2020
  • Supervisor:

    Peter Sanders, Markus Iser

  • Student:

    Robin Link