Vladimir Lysikov
Postdoc
Department of Mathematical Sciences
Universitetsparken 5, 2100 København Ø, E/04, Building: 04.0.02
Member of:
ORCID: 0000-0002-7816-6524
1 - 2 out of 2Page size: 10
- 2018
Generalized matrix completion and algebraic natural proofs
Bläser, M., Jindal, G., Ikenmeyer, C. & Lysikov, Vladimir, 20 Jun 2018, STOC 2018: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. New York: Association for Computing Machinery, p. 17-29 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
On the complexity of hazard-Free circuits
Ikenmeyer, C., Lysikov, Vladimir, Komarath, B., Mokhov, A., Lenzen, C. & Sreenivasaiah, K., 20 Jun 2018, STOC 2018: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. New York: Association for Computing Machinery, p. 253-266 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 219342530