Norbert Th. M\"uller
Identifiers
- name variant Norbert Th. M\"uller 0.60 · backfill
Papers (2)
- A CDCL-style calculus for solving non-linear constraints cs.LO · 2019 · author #4
- Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime cs.NA · 2012 · author #2
Mentions
Frequent Coauthors
- Akitoshi Kawamura 1 shared papers
- Carsten R\"osnick 1 shared papers
- Franz Brau{\ss}e 1 shared papers
- Konstantin Korovin 1 shared papers
- Margarita Korovina 1 shared papers
- Martin Ziegler 1 shared papers