Institute for Program Structures and Data Organization (IPD), Chair Prof. Böhm
Institute for Program Structures and Data Organization (IPD), Chair Prof. Böhm
Institute for Program Structures and Data Organization (IPD), Chair Prof. Böhm
Welcome to the Chair of Information Systems
Teaching
Bachelor and Master Theses

Selecting SAT Instances to Evaluate Solvers

  • chair:Selecting SAT Instances to Evaluate Solvers
  • type:Bachelor/Master thesis
  • time:From now on
  • tutor:

    Jakob Bach

  • Zusatzfeld:

    Yes