pith. sign in

Norbert Th. M\"uller

Identifiers

  • name variant Norbert Th. M\"uller 0.60 · backfill

Papers (2)

  1. A CDCL-style calculus for solving non-linear constraints cs.LO · 2019 · author #4
  2. Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime cs.NA · 2012 · author #2

Mentions

  • 1211.4974 #2 · arxiv_oai · confidence 0.70 Norbert Th. M\"uller
  • 1211.4974 #2 · backfill · confidence 0.70 Norbert Th. M\"uller

Frequent Coauthors