Automated Tuning and Portfolio Selection for SAT Solvers

  • Type:Masterarbeit
  • Date:Mai 2023
  • Supervisor:

    Dr. Markus Iser
    Jacob Bach (IPD Prof. Böhm)

  • Student:

    Tobias Fuchs