Ian Mertz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Trading time and space in catalytic branching programs | 2024-07-05 | Paper |
| scientific article; zbMATH DE number 7829336 (Why is no real title available?) | 2024-04-09 | Paper |
| Reusing space: techniques and open problems | 2024-02-06 | Paper |
| Short Proofs Are Hard to Find | 2022-07-21 | Paper |
| Automating cutting planes is NP-hard Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing | 2021-01-19 | Paper |
| Complexity of regular functions Journal of Computer and System Sciences | 2019-06-25 | Paper |
| Dual VP classes Computational Complexity | 2017-10-18 | Paper |
| Complexity of Regular Functions Language and Automata Theory and Applications | 2016-04-08 | Paper |
| Dual VP classes Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Research outcomes over time
This page was built for person: Ian Mertz
