Export Citations
1 Results for: Keyword: counting axioms
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,800,517 records)|Limit your search to The ACM Full-Text Collection (770,264 records)
Select All
- research-articleNovember 2018
Some Subsystems of Constant-Depth Frege with Parity
ACM Transactions on Computational Logic (TOCL), Volume 19, Issue 4Article No.: 29, Pages 1–34https://doi.org/10.1145/3243126We consider three relatively strong families of subsystems of AC0[2]-Frege proof systems, i.e., propositional proof systems using constant-depth formulas with an additional parity connective, for which exponential lower bounds on proof size are known. ...