Skip to search formSkip to main contentSkip to account menu

TC0

TC0 is a complexity class used in circuit complexity. It is the first class in the hierarchy of TC classes. TC0 contains all languages which are… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Software-based Global Positioning System (GPS) receivers have been recognized as an effective research platform in recent years… 
2012
2012
The time-dependent Ginzburg-Landau (TDGL) equation for a single component non-conservative structural order parameter is used to… 
2012
2012
A family of Boolean circuits \(\{C_n\}_{n\geqslant 0}\) is called γ(n)-weakly uniform if there is a polynomial-time algorithm for… 
2011
2011
The aim of this paper is to propose a proof-complexity framework for concurrent automata. Since the behavior of concurrent… 
Highly Cited
2009
Highly Cited
2009
AbstractWe study the complexity of restricted versions of s-t-connectivity, which is the standard complete problem for $\mathsf… 
1999
1999
  • L. Libkin
  • 1999
  • Corpus ID: 7369014
We study the expressive power of counting logics in the presence of auxiliary relations such as orders and pre-orders. The… 
1997
1997
Asynchronous direct-sequence code-division multiple access systems : low complexity data detection and robust detectors