Markus Bläser, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov. Generalized matrix completion and algebraic natural proofs. In Ilias Diakonikolas, David Kempe 0001, Monika Henzinger, editors, Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June 25-29, 2018. pages 1193-1206, ACM, 2018. [doi]