Follow
Uwe Schöning
Uwe Schöning
Professor of Computer Science, Ulm University, retired
Verified email at uni-ulm.de - Homepage
Title
Cited by
Cited by
Year
The graph isomorphism problem: its structural complexity
J Kobler, U Schöning, J Torán
Springer Science & Business Media, 2012
7522012
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
6301999
Theoretische Informatik-kurz gefasst
U Schöning
Spektrum Akademischer Verlag 36 (46), 118, 2008
587*2008
Logik für Informatiker. Spektrum
U Schöning
Akademischer Verlag, 2000
400*2000
Graph isomorphism is in the low hierarchy
U Schöning
Sympos. on Theoretical Aspects of Comp. Sci. (STACS), 114-124, 1987
3991987
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
2752002
Complexity and structure
U Schöning
Springer Berlin Heidelberg, 1986
2271986
A low and a high hierarchy within NP
U Schöning
Journal of Computer and System Sciences 27 (1), 14-28, 1983
2141983
Logic for computer scientists
U Schöning
Springer Science & Business Media, 2008
2132008
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
1811987
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
1572002
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
1522012
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
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
On circuit-size complexity and the low hierarchy in NP
K Ko, U Schöning
1221985
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
1182002
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
The system can't perform the operation now. Try again later.
Articles 1–20