Johanna Sokoli

Identifiers

• name variant Johanna Sokoli 0.60 · backfill

Papers (1)

1. Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines cs.CC · 2013 · author #2

Mentions

• 1309.1270 #2 · backfill · confidence 0.70 Johanna Sokoli

Frequent Coauthors

• Christian Herrmann 1 shared papers
• Martin Ziegler 1 shared papers