@proceedings{IgnatievSzeider26,
 editor = {Alexey Ignatiev and
Stefan Szeider},
 isbn = {978-3-95977-431-4},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {29th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2026, Lisbon, Portugal, July 20–23, 2026},
 url = {https://www.dagstuhl.de/dagpub/978-3-95977-431-4},
 volume = {377},
 year = {2026}
}