@misc{voboril_algorithms_23,
 author = {Florentina Voboril},
 howpublished = {SKILL 2023},
 month = {9},
 publisher = {SKILL 2023, Gesellschaft für Informatik, Bonn},
 title = {Algorithms for Satisfiability Testing},
 year = {2023}
}