Skip to search formSkip to main contentSkip to account menu

ACC0

Known as: ACC, ACC (complexity) 
ACC0, sometimes called ACC, is a class of computational models and problems defined in circuit complexity, a field of theoretical computer science… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
  • Rahul Ilango
  • 2019
  • Corpus ID: 67867891
6 The Minimum Circuit Size Problem (MCSP) asks whether a (given) Boolean function has a circuit 7 of at most a (given) size… 
2017
2017
We prove various results on the complexity of MCSP (Minimum Circuit Size Problem) and the related MKTP (Minimum Kolmogorov Time… 
2017
2017
This work is devoted to explore the novel method of proving circuit lower bounds for the class NEXP by Ryan Williams. Williams is… 
Review
2014
Review
2014
We survey circuit complexity theory, satisfiability algorithms for circuits, and the recent framework of Ryan Williams’s for… 
2013
2013
In this paper, we prove tight lower bounds on the smallest degree of a nonzero polynomial in the ideal generated by $MOD_q$ or… 
2012
2012
I discuss recent progress in developing and exploiting connections between SAT algorithms and circuit lower bounds. The… 
Review
2007
Review
2007
We survey the current state of knowledge on the circuit complexity of regular languages and we prove that regular languages that… 
1997
1997
A recent paper by Caussinus, McKenzie, Th erien, and Vollmer [CMTV96] shows that there are problems in the counting hierarchy… 
1996
1996
S On the Power of Randomized Branching Programs Farid Ablayev Kazan University (joint work with Marek Karpinski, Universitat…