Lehrstuhl für Systeme der Informationsverwaltung

Selecting SAT Instances to Evaluate Solvers

  • Forschungsthema:Selecting SAT Instances to Evaluate Solvers
  • Typ:Bachelor-/Masterarbeit
  • Datum:Ab sofort
  • Betreuer:

    Jakob Bach

  • Zusatzfeld:

    Ja