Title
Bounded-depth Frege complexity of Tseitin formulas for all graphs.
Year
Venue
Field
2019
Electronic Colloquium on Computational Complexity (ECCC)
Graph,Discrete mathematics,Combinatorics,Mathematics,Bounded function
DocType
Volume
Citations 
Journal
26
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Nicola Galesi136728.05
Dmitry Itsykson23310.09
Artur Riazanov301.35
Anastasia Sofronova401.01