KIT - Karlsruhe Institute of Technology
image/svg+xml
Institute of Theoretical Informatics, Algorithm Engineering
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
News
Research
Publications
Teaching
Start
Teaching
Teaching
Courses
Theses
Exam Results
Group Members
How to find us
Jobs
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Institute of Theoretical Informatics, Algorithm Engineering
Startpage
Teaching
Theses
Welcome to the Institute of Theoretical Informatics, Algorithm Engineering
News
Research
Publications
Teaching
Group Members
How to find us
Jobs
Teaching
Courses
Theses
Exam Results
Theses
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
Links:
Pdf