@inproceedings{Blaeser_STOC2018,
TITLE = {Generalized Matrix Completion and Algebraic Natural Proofs},
AUTHOR = {Bl{\"a}ser, Markus and Ikenmeyer, Christian and Jindal, Gorav and Lysikov, Vladimir},
LANGUAGE = {eng},
ISBN = {978-1-4503-5559-9},
DOI = {10.1145/3188745.3188832},
PUBLISHER = {ACM},
YEAR = {2018},
DATE = {2018},
BOOKTITLE = {STOC'18, 50th Annual ACM SIGACT Symposium on Theory of Computing},
PAGES = {1193--1206},
ADDRESS = {Los Angeles, CA, USA},
}