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