( en | de | ru )

 

Disambiguation of "Mertz, Ian"

Author of the publication

copydeleteadd this publication to your clipboard
Automating cutting planes is NP-hard.

, , , and . STOC, page 68-77. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Max Iann

Gheorghe Iancu

Enrico Iannone

Nadia Ianeva

 

Other publications of authors with the same name

Dual VP Classes., , and . Comput. Complex., 26 (3): 583-625 (2017)Reusing Space: Techniques and Open Problems.. Bull. EATCS, (2023)Trading Time and Space in Catalytic Branching Programs., and . CCC, volume 234 of LIPIcs, page 8:1-8:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Dual VP Classes., , and . Electron. Colloquium Comput. Complex., (2014)Lifting: As Easy As 1, 2, 3., and . Electron. Colloquium Comput. Complex., (2020)Complexity of regular functions., and . J. Comput. Syst. Sci., (2019)Encodings and the Tree Evaluation Problem., and . Electron. Colloquium Comput. Complex., (2021)Catalytic approaches to the tree evaluation problem., and . STOC, page 752-760. ACM, (2020)Automating cutting planes is NP-hard., , , and . STOC, page 68-77. ACM, (2020)Dual VP Classes., , and . MFCS (2), volume 9235 of Lecture Notes in Computer Science, page 14-25. Springer, (2015)