Abstract
Leroy Chew, Tom'as Peitl. Better Extension Variables in DQBF via Independence. 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025 (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 11:1-11:24, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Type
Tomas Peitl
Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.