Paper on proof systems based on structured circuits accepted at SAT 2026

TU Ilmenau

The paper “Proof Systems Based on Structured Circuits” by Christoph Berkholz und Matthäus Micun was accepted for presentation at the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026, https://satisfiability.org/SAT26/). A preprint is available at https://arxiv.org/abs/2605.12378 .