Automated Tuning and Portfolio Selection for SAT Solvers

  • Typ:Masterarbeit
  • Datum:Mai 2023
  • Betreuung:

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

  • Bearbeitung:

    Tobias Fuchs