Folgen
Uwe Schöning
Uwe Schöning
Professor of Computer Science, Ulm University, retired
Bestätigte E-Mail-Adresse bei uni-ulm.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The graph isomorphism problem: its structural complexity
J Kobler, U Schöning, J Torán
Springer Science & Business Media, 2012
7562012
A probabilistic algorithm for k-SAT and constraint satisfaction problems
U Schöning
Foundations of Computer Science, 1999. 40th Annual Symposium on, 410-414, 1999
6341999
Theoretische Informatik-kurz gefasst
U Schöning
Spektrum Akademischer Verlag 36 (46), 118, 2008
588*2008
Graph isomorphism is in the low hierarchy
U Schöning
Sympos. on Theoretical Aspects of Comp. Sci. (STACS), 114-124, 1987
4031987
Logik für Informatiker. Spektrum
U Schöning
Akademischer Verlag, 2000
401*2000
A deterministic (2− 2/(k+ 1)) n algorithm for k-SAT based on local search
E Dantsin, A Goerdt, EA Hirsch, R Kannan, J Kleinberg, C Papadimitriou, ...
Theoretical Computer Science 289 (1), 69-83, 2002
2772002
Complexity and structure
U Schöning
Springer Berlin Heidelberg, 1986
2281986
A low and a high hierarchy within NP
U Schöning
Journal of Computer and System Sciences 27 (1), 14-28, 1983
2151983
Logic for computer scientists
U Schöning
Springer Science & Business Media, 2008
2142008
The difference and truth-table hierarchies for NP
J Köbler, U Schöning, KW Wagner
RAIRO Informatique théorique et applications 21 (4), 419-435, 1987
1821987
Probabilistic complexity classes and lowness
U Schöning
Structure in Complexity Theory Conference, 2-8, 1987
1621987
A probabilistic algorithm for k-SAT based on limited local search and restart
U Schöning
ALGORITHMICA-NEW YORK- 32 (4), 615-623, 2002
1582002
Choosing probability distributions for stochastic local search and the role of make versus break
A Balint, U Schöning
International Conference on Theory and Applications of Satisfiability …, 2012
1542012
Bi-immune sets for complexity classes
JL Balcázar, U Schöning
Mathematical Systems Theory 18 (1), 1-10, 1985
1421985
Algorithmik
U Schöning
Spektrum, Akad. Verl., 2001
1362001
On circuit-size complexity and the low hierarchy in NP
K Ko, U Schöning
1241985
The polynomial-time hierarchy and sparse oracles
JL Balcázar, RV Book, U Schöning
Journal of the ACM (JACM) 33 (3), 603-617, 1986
1231986
A Probabilistic 3—SAT Algorithm Further Improved
T Hofmeister, U Schöning, R Schuler, O Watanabe
STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science …, 2002
1192002
Turing machines with few accepting computations and low sets for PP
J Köbler, U Schöning, S Toda, J Toran
Journal of Computer and Systems Sciences (JCSS) 44, 272-286, 1992
1121992
Sparse sets, lowness and highness
JL Balcázar, RV Book, U Schöning
SIAM Journal on Computing 15 (3), 739-747, 1986
1001986
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20