Automated Tuning and Portfolio Selection for SAT Solvers

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

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

  • Bearbeitung:

    Tobias Fuchs