User contributions
Jump to navigation
Jump to search
- 22:11, 13 May 2017 diff hist -69 Complexity Zoo:A →AC0: Unbounded Fanin Constant-Depth Circuits: claim appears to be erroneous
- 22:11, 13 May 2017 diff hist -69 Complexity Zoo:F Just removed the claim altogether
- 23:55, 30 April 2017 diff hist +1 m Complexity Zoo:F →FO: First-Order logic: spent hours tracking down this error
- 21:00, 8 April 2017 diff hist 0 Complexity Zoo References fix ordering
- 20:59, 8 April 2017 diff hist +263 Complexity Zoo References AW09
- 20:58, 8 April 2017 diff hist +95 Complexity Zoo:B BQP_CTC = PSPACE