@inproceedings{ChewPeitl25,
 author = {Leroy Chew and
Tom{\'{a}}s Peitl},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/sat/ChewP25.bib},
 booktitle = {28th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2025, Glasgow, Scotland, August 12-15, 2025},
 doi = {10.4230/LIPICS.SAT.2025.11},
 editor = {Jeremias Berg and
Jakob Nordstr{ö}m},
 pages = {11:1--11:24},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
 title = {Better Extension Variables in {DQBF} via Independence},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2025.11},
 volume = {341},
 year = {2025}
}