Proof Systems Based on Structured Circuits.

Christoph Berkholz, Matthus Micun

Browse the full SAT paper archive.