المؤلفون: Folkertsma, Marten, Mertz, Ian, Speelman, Florian, Tupker, Quinten

مصطلحات موضوعية: Computer Science - Computational Complexity, 68Q15

URL الوصول: http://arxiv.org/abs/2409.05046

المؤلفون: Göös, Mika, Koroth, Sajin, Mertz, Ian, Pitassi, Toniann

مصطلحات موضوعية: Computer Science - Computational Complexity

URL الوصول: http://arxiv.org/abs/2004.08037

المؤلفون: Cook, James, Mertz, Ian

المساهمون: James Cook and Ian Mertz

مصطلحات موضوعية: complexity theory, branching programs, amortized, space complexity, catalytic computation

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 234, 37th Computational Complexity Conference (CCC 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2022.8

الاتاحة: https://doi.org/10.4230/LIPIcs.CCC.2022.8
https://nbn-resolving.org/urn:nbn:de:0030-drops-165708
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2022.8

المؤلفون: Lovett, Shachar, Meka, Raghu, Mertz, Ian, Pitassi, Toniann, Zhang, Jiapeng

المساهمون: Shachar Lovett and Raghu Meka and Ian Mertz and Toniann Pitassi and Jiapeng Zhang

مصطلحات موضوعية: Lifting theorems, communication complexity, combinatorics, sunflowers

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.104

الاتاحة: https://doi.org/10.4230/LIPIcs.ITCS.2022.104
https://nbn-resolving.org/urn:nbn:de:0030-drops-157004
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.104

المؤلفون: Cook, James, Mertz, Ian

وصف الملف: application/pdf

Relation: https://wrap.warwick.ac.uk/185307/1/WRAP-Tree-evaluation-is-in-Space-; Cook, James and Mertz, Ian (2024) Tree evaluation is in space. In: STOC ’24 : 56th ACM Symposium on Theory of Computing, Vancouver, BC, Canada, 24–28 Jun 2024. Published in: Proceedings of the 56th Annual ACM Symposium on Theory of Computing (STOC ’24) ISBN 9798400703836. doi:https://doi.org/10.1145/3618260.3649664 (In Press)

الاتاحة: https://wrap.warwick.ac.uk/185307/
https://wrap.warwick.ac.uk/185307/1/WRAP-Tree-evaluation-is-in-Space-
https://doi.org/10.1145/3618260.3649664

المؤلفون: Mertz, Ian, Pitassi, Toniann, Wei, Yuanhao

المساهمون: Ian Mertz and Toniann Pitassi and Yuanhao Wei

مصطلحات موضوعية: automatizability, Resolution, SAT solvers, proof complexity

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.84

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2019.84
https://nbn-resolving.org/urn:nbn:de:0030-drops-106605
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.84

المؤلفون: Allender, Eric, Mertz, Ian

المساهمون: NSF, REU

المصدر: Journal of Computer and System Sciences ; volume 104, page 5-16 ; ISSN 0022-0000

الاتاحة: http://dx.doi.org/10.1016/j.jcss.2016.10.005
https://api.elsevier.com/content/article/PII:S0022000016301015?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0022000016301015?httpAccept=text/plain

المؤلفون: Göös, Mika, Koroth, Sajin, Mertz, Ian, Pitassi, Toniann

المصدر: http://infoscience.epfl.ch/record/299563.

Relation: http://infoscience.epfl.ch/record/299563

الاتاحة: https://doi.org/10.1145/3357713.3384248
http://infoscience.epfl.ch/record/299563

المؤلفون: Cook, James, Mertz, Ian

المساهمون: Natural Sciences and Engineering Research Council of Canada

المصدر: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing

الاتاحة: http://dx.doi.org/10.1145/3357713.3384316
https://dl.acm.org/doi/pdf/10.1145/3357713.3384316

المؤلفون: Allender, Eric, Mertz, Ian

المصدر: Language and Automata Theory and Applications ; Lecture Notes in Computer Science ; page 449-460 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319155784 9783319155791

الاتاحة: http://dx.doi.org/10.1007/978-3-319-15579-1_35
https://link.springer.com/content/pdf/10.1007/978-3-319-15579-1_35

المؤلفون: Allender, Eric, Gál, Anna, Mertz, Ian

المصدر: Mathematical Foundations of Computer Science 2015 ; Lecture Notes in Computer Science ; page 14-25 ; ISSN 0302-9743 1611-3349 ; ISBN 9783662480533 9783662480540

الاتاحة: http://dx.doi.org/10.1007/978-3-662-48054-0_2
https://link.springer.com/content/pdf/10.1007/978-3-662-48054-0_2

المؤلفون: Allender, Eric, Gál, Anna, Mertz, Ian

المصدر: Computational Complexity; Sep2017, Vol. 26 Issue 3, p583-625, 43p