Moritz Müller

Moritz Müller

Universitat Politècnica de Catalunya BarcelonaTech - Barcelona / Spain
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1417970
Polytechnic University of Catalonia
person_outline Moritz Müller's MOST POPULAR ARTICLES
1-) Automating Resolution is NP-hard.A Atserias, M MüllerJournal of the ACM 67 (5), Article No.: 31, 2020472020
2-) Lower Bounds for Kernelizations and Other Preprocessing ProceduresY Chen, J Flum, M MüllerCiE’09: Proceedings of the 5th Conference, 118-128, 2009472009
3-) Feasibly constructive proofs of succinct weak circuit lower boundsM Müller, J PichAnnals of Pure and Applied Logic 171 (2), 102735, 2020252020
4-) The fine classification of conjunctive queries and parameterized logarithmic spaceH Chen, M MüllerACM Transactions on Computation Theory (TOCT) 7 (2), 1-27, 2015212015
5-) Parameterized random complexityJA Montoya, M MüllerTheory of Computing Systems 52, 221-270, 2013212013