More barriers for rank methods, via a "numeric to symbolic" transfer

Publication: 
Accepted into Proceedings of Foundations of Computer Science (FOCS) 2019
arXiv:1904.04299
Year: 
2019
Files