Ian Mertz

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 21

Top Topics

Lagrangian Relaxation

Integer Program

Top Venues

Electron. Colloquium Comput. Complex.

J. Comput. Syst. Sci.

Publications

James Cook, Ian Mertz
Tree Evaluation Is in Space O(log n · log log n). STOC (2024)
James Cook, Jiatu Li, Ian Mertz, Edward Pyne
The Structure of Catalytic Space: Capturing Randomness and Time via Compression. Electron. Colloquium Comput. Complex. (2024)
Ian Mertz
Reusing Space: Techniques and Open Problems. Electron. Colloquium Comput. Complex. (2023)
Ian Mertz
Reusing Space: Techniques and Open Problems. Bull. EATCS 141 (2023)
James Cook, Ian Mertz
Tree Evaluation is in Space O(log n · log log n). Electron. Colloquium Comput. Complex. (2023)
James Cook, Ian Mertz
Trading Time and Space in Catalytic Branching Programs. Electron. Colloquium Comput. Complex. 29 (2022)
Shachar Lovett, Raghu Meka, Ian Mertz, Toniann Pitassi, Jiapeng Zhang
Lifting with Sunflowers. ITCS (2022)
James Cook, Ian Mertz
Trading Time and Space in Catalytic Branching Programs. CCC (2022)
James Cook, Ian Mertz
Encodings and the Tree Evaluation Problem. Electron. Colloquium Comput. Complex. 28 (2021)
Ian Mertz, Toniann Pitassi
Lifting: As Easy As 1, 2, 3. Electron. Colloquium Comput. Complex. 27 (2020)
Mika Göös, Sajin Koroth, Ian Mertz, Toniann Pitassi
Automating Cutting Planes is NP-Hard}. CoRR (2020)
James Cook, Ian Mertz
Catalytic Approaches to the Tree Evaluation Problem. Electron. Colloquium Comput. Complex. 27 (2020)
Mika Göös, Sajin Koroth, Ian Mertz, Toniann Pitassi
Automating cutting planes is NP-hard. STOC (2020)
Mika Göös, Sajin Koroth, Ian Mertz, Toniann Pitassi
Automating Cutting Planes is NP-Hard. Electron. Colloquium Comput. Complex. 27 (2020)
James Cook, Ian Mertz
Catalytic approaches to the tree evaluation problem. STOC (2020)
Eric Allender, Ian Mertz
Complexity of regular functions. J. Comput. Syst. Sci. 104 (2019)
Ian Mertz, Toniann Pitassi, Yuanhao Wei
Short Proofs Are Hard to Find. ICALP (2019)
Eric Allender, Anna Gál, Ian Mertz
Dual VP Classes. Comput. Complex. 26 (3) (2017)
Eric Allender, Ian Mertz
Complexity of Regular Functions. LATA (2015)
Eric Allender, Anna Gál, Ian Mertz
Dual VP Classes. MFCS (2) (2015)
Eric Allender, Ian Mertz
Complexity of Regular Functions. Electron. Colloquium Comput. Complex. 22 (2015)
Eric Allender, Anna Gál, Ian Mertz
Dual VP Classes. Electron. Colloquium Comput. Complex. 21 (2014)