Symmetric Circuits for Rank Logic

Anuj Dawar, Gregory Wilsenach

Type: Preprint

Publication Date: 2018-04-09

Citations: 2

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Symmetric Circuits for Rank Logic	2018	Anuj Dawar Gregory Wilsenach
+ PDF Chat	Symmetric Circuits for Rank Logic	2021	Anuj Dawar Gregory Wilsenach
+	Rank logic is dead, long live rank logic!	2015	Erich Grädel Wied Pakusa
+	Rank logic is dead, long live rank logic!	2015	Erich Grädel Wied Pakusa
+ PDF Chat	RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!	2019	Erich Grädel Wied Pakusa
+	Barriers for Rank Methods in Arithmetic Complexity	2017	Klim Efremenko Ankit Garg Rafael Oliveira Avi Wigderson
+	Barriers for Rank Methods in Arithmetic Complexity	2018	Klim Efremenko Ankit Garg Rafael Oliveira Avi Wigderson
+	Symmetric Arithmetic Circuits	2020	Anuj Dawar Gregory Wilsenach
+	Symmetric Arithmetic Circuits	2020	Anuj Dawar Gregory Wilsenach
+	Barriers for Rank Methods in Arithmetic Complexity.	2017	Klim Efremenko Ankit Garg Rafael Oliveira Avi Wigderson
+	Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity	2020	Susanna F. de Rezende Or Meir Jakob Nordström Toniann Pitassi Robert Robere Marc Vinyals
+ PDF Chat	Separating Rank Logic from Polynomial Time	2021	Moritz Lichter
+	Separating Rank Logic from Polynomial Time	2021	Moritz Lichter
+	Separating Rank Logic from Polynomial Time	2022	Moritz Lichter
+	On the complexity of Boolean matrix ranks	2013	Yaroslav Shitov
+	On the complexity of Boolean matrix ranks	2013	Yaroslav Shitov
+ PDF Chat	Tensor Rank: Some Lower and Upper Bounds	2011	Boris V. Alexeev Michael A. Forbes Jacob Tsimerman
+	Lower Bounds for Symmetric Circuits for the Determinant	2021	Anuj Dawar Gregory Wilsenach
+	On Symmetric Circuits and Fixed-Point Logics	2014	Matthew Anderson Anuj Dawar
+	On Symmetric Circuits and Fixed-Point Logics	2014	Matthew J. Anderson Anuj Dawar

Works That Cite This (2)

Action	Title	Year	Authors
+	Symmetric Arithmetic Circuits	2020	Anuj Dawar Gregory Wilsenach
+	Choiceless Polynomial Time, Symmetric Circuits and Cai-Fürer-Immerman Graphs.	2021	Benedikt Pago

Works Cited by This (4)

Action	Title	Year	Authors
+ PDF Chat	Pebble Games with Algebraic Rules	2012	Anuj Dawar Bjarki Holm
+ PDF Chat	Graph isomorphism problem	1985	V. N. Zemlyachenko N. M. Korneenko R. I. Tyshkevich
+	Rank logic is dead, long live rank logic!	2015	Erich Grädel Wied Pakusa
+	Permutation Groups	1996	Brian Mortimer John D. Dixon