Skip to content

Uwe Schning

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

27

Venues

12

Active years

1983–2014

Best venue rank

A*

Where they publish

Papers

27 indexed papers, newest first.

YearVenueTitleAuthors
2014GECCOAnt colony optimization with group learning.Gunnar Vlkel, Markus Maucher, Uwe Schning, Hans A. Kestler
2014SATImproving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses.Adrian Balint, Armin Biere, Andreas Frhlich, Uwe Schning
2012SATChoosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break.Adrian Balint, Uwe Schning
2010CSRComparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems.Uwe Schning
2007UCPrinciples of Stochastic Local Search.Uwe Schning
2005CiENew Algorithmic Paradigms in Exponential Time Algorithms.Uwe Schning
2005COCOONRandomized Quicksort and the Entropy of the Random Source.Beatrice List, Markus Maucher, Uwe Schning, Rainer Schuler
2005STACSAlgorithmics in Exponential Time.Uwe Schning
2002STACSA Probabilistic 3-SAT Algorithm Further Improved.Thomas Hofmeister, Uwe Schning, Rainer Schuler, Osamu Watanabe
2001MFCSNew Algorithms for k -SAT Based on the Local Search Principle.Uwe Schning
2000ICALPDeterministic Algorithms forEvgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Uwe Schning
1999FOCSA Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems.Uwe Schning
1997MFCSResolution Proofs, Exponential Bounds, and Kolmogorov Complexity.Uwe Schning
1997SIROCCOBetter Expanders and Superconcentrators by Kolmogorov Complexity.Uwe Schning
1992ICALPReductions to Sets of Low Information Content.Vikraman Arvind, Yenjo Han, Lane A. Hemachandra, Johannes Kbler, Antoni Lozano, Martin Mundhenk, Mitsunori Ogiwara, Uwe Schning, Riccardo Silvestri, Thomas Thierauf
1992STACSGraph Isomorphism is Low for PP.Johannes Kbler, Uwe Schning, Jacobo Torn
1988MFCSRobust Orale Machines.Uwe Schning
1988STACSCollapsing Oracle Hierarchies, Census Functions and Logarithmically Many Queries.Uwe Schning, Klaus W. Wagner
1987CSLComplexity Cores and Hard-To-Prove Formulas.Uwe Schning
1987STACSGraph Isomorphism is in the Low Hierarchy.Uwe Schning
1986ICALPLower Bounds by Recursion Theoretic Arguments (Extended Abstract).Uwe Schning
1985ICALPPolynomial Levelability and Maximal Complexity Cores.Pekka Orponen, David A. Russo, Uwe Schning
1984FOCSSparse Oracles and Uniform Complexity ClassesJos L. Balczar, Ronald V. Book, Timothy J. Long, Uwe Schning, Alan L. Selman
1984ICALPRobust Algorithms: A Different Approach to Oracles.Uwe Schning
1984MFCSSparse Oracles, Lowness, and Highness.Jos L. Balczar, Ronald V. Book, Uwe Schning
1984MFCSThe Structure of Polynomial Complexity Cores (Extended Abstract).Pekka Orponen, Uwe Schning
1983ICALPImmunity (Extended Abstract).Uwe Schning, Ronald V. Book