On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.

Yijia Chen, Jrg Flum

Browse the full CSL paper archive.