Johanna Sokoli und Satisfiability - Info zur Person

(1 - 12 von 13

)

Satisfiability of cross product terms is complete for real...

doaj.org

Nondeterministic polynomial-time Blum-Shub-Smale Machines over the reals give rise to a discrete complexity class between NP and PSPACE. Several problems,

[ ] Satisfiability of cross product terms is complete for...

arxiv.org

Authors:Christian Herrmann, Johanna Sokoli, Martin Ziegler · Download PDF. Abstract: Nondeterministic polynomial-time Blum-Shub-Smale ...

[ v1] Satisfiability of cross product terms is complete for...

arxiv.org

Authors: Christian Herrmann, Johanna Sokoli, Martin Ziegler.

Christian Herrmanns Heimseite

www2.mathematik.tu-darmstadt.de

Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines, with Johanna Sokoli and Martin ... Christian Herrmann ...

[HSZ+13] Satisfiability of cross product terms is complete for real...

www2.mathematik.tu-darmstadt.de

Author(s), Christian Herrmann and Johanna Sokoli and Martin Ziegler. Title, « Satisfiability of cross product terms is complete for real nondeterministic polytime ...

Search results for "MCU" – FacetedDBLP

dblp.l3s.de

Hits ?△, Authors, Title, Venue, Year, Link, Author keywords. Authors Title Dmitry A. Zaitsev A Small Universal Petri Christian Herrmann, Johanna Sokoli, Martin Ziegler Satisfiability of cross ...

Smoothed Analysis of Order Types | DeepAI

deepai.org

[23] Christian Herrmann, Johanna Sokoli, and Martin Ziegler. Satisfiability of cross product terms is complete for real nondeterministic polytime ...

Wikipedia: Экзистенциальная теория вещественных чисел - Википедияru.wikipedia.org › wiki › Экзистен...

Christian Herrmann, Johanna Sokoli, Martin Ziegler. Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale ...

MCU 2013

mcu2013.ini.uzh.ch

Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. Christian Herrmann, Johanna Sokoli and Martin ...

Satisfiability of cross product terms is complete for real...

science-advisor.net

Science-advisor.net is a free science articles search engine and online forum.

[PDF] Satisfiability of cross product terms is complete for real...

www.semanticscholar.org

Christian Herrmann, Johanna Sokoli, Martin Ziegler. Nondeterministic polynomial -time Blum-Shub-Smale Machines over the reals give rise to a discrete ...

[ ] Satisfiability of cross product terms is complete for...

arxiv-export-lb.library.cornell.edu

Authors: Christian Herrmann, Johanna Sokoli, Martin Ziegler. (Submitted on 5 Sep 2013). Abstract: Nondeterministic polynomial-time Blum-Shub-Smale ...

Alle Infos zum Namen "Johanna Sokoli"

Verwandte Suchanfragen zu Johanna Sokoli

Christian Herrmann
Martin Ziegler
Florian Volk

Philipp Kurbel

Personen
Vorname "Johanna" (22260)
Name "Sokoli" (162)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Johanna Sokoli und Satisfiability Person-Info