Algorithms for Satisfiability Testing

Abstract

Full Citation:

Florentina Voboril. Algorithms for Satisfiability Testing. 9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn.

Florentina Voboril

Florentina Voboril is a Project Assistant at the Algorithms and Complexity Group.