Uniform constant-depth threshold circuits for division and iterated multiplication
Journal of Computer and System Sciences - Complexity 2001
On Proofs about Threshold Circuits and Counting Hierarchies
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class K
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Type two computational complexity
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Logical Foundations of Proof Complexity
Logical Foundations of Proof Complexity
Root finding with threshold circuits
Theoretical Computer Science
Hi-index | 0.00 |
In this corrigendum, we retract part of our Corollary 6.6, which was presented as an immediate and obvious consequence of our main theorem, which showed that division lies in Dlogtime-uniform TC^0.