Ian Mertz

According to our database, Ian Mertz authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Reusing Space: Techniques and Open Problems.

Ian Mertz

Electron. Colloquium Comput. Complex., 2023

Tree Evaluation is in Space O(log n · log log n).

James Cook, Ian Mertz

Electron. Colloquium Comput. Complex., 2023

2022

Trading Time and Space in Catalytic Branching Programs.

James Cook, Ian Mertz

Electron. Colloquium Comput. Complex., 2022

Lifting with Sunflowers.

Shachar Lovett, Raghu Meka, Ian Mertz, Toniann Pitassi, Jiapeng Zhang

Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

2021

Encodings and the Tree Evaluation Problem.

James Cook, Ian Mertz

Electron. Colloquium Comput. Complex., 2021

2020

Lifting: As Easy As 1, 2, 3.

Ian Mertz, Toniann Pitassi

Electron. Colloquium Comput. Complex., 2020

Automating Cutting Planes is NP-Hard.

Mika Göös, Sajin Koroth, Ian Mertz, Toniann Pitassi

Electron. Colloquium Comput. Complex., 2020

Catalytic Approaches to the Tree Evaluation Problem.

James Cook, Ian Mertz

Electron. Colloquium Comput. Complex., 2020

2019

Complexity of regular functions.

Eric Allender, Ian Mertz

J. Comput. Syst. Sci., 2019

Short Proofs Are Hard to Find.

Ian Mertz, Toniann Pitassi, Yuanhao Wei

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2017

Dual VP Classes.

Eric Allender, Anna Gál, Ian Mertz

Comput. Complex., 2017