Arbeit über Beweissysteme mit strukturierten Schaltkreisen auf der SAT-Konferenz 2026 angenommen

TU Ilmenau

Die Arbeit “Proof Systems Based on Structured Circuits” von Christoph Berkholz und Matthäus Micun wurde auf der 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026, https://satisfiability.org/SAT26/) zur Veröffentlichung angenommen. Ein Vorabdruck ist unter https://arxiv.org/abs/2605.12378 verfügbar.