Ruzica Piskac. Privacy-Preserving SAT Solving (Invited Talk). In Jeremias Berg, Jakob Nordström, editors, 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland. Volume 341 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.