Some Subsystems of Constant-Depth Frege with Parity

DOI10.1145/3243126zbMath1407.03074OpenAlexW2901148730MaRDI QIDQ4617974

Michal Garlík, Leszek Aleksander Kołodziejczyk

Publication date: 7 February 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/180024

zbMATH Keywords

propositional proof complexitymodular countingconstant-depth Fregecounting axioms

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)

Related Items (2)

Resolution with counting: dag-like lower bounds and different moduli ⋮ Resolution over linear equations modulo two

This page was built for publication: Some Subsystems of Constant-Depth Frege with Parity