arXiv 2004-06-02 EN Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas Hemaspaandra, Edith
arXiv 2004-04-20 EN 2-Sat Sub-Clauses and the Hypernodal Structure of the 3-Sat Problem Powell, D. B.
arXiv 2004-04-20 EN Algorithms for Estimating Information Distance with Application to Bioinformatics and Linguistics Kaltchenko, Alexei
arXiv 2004-04-08 EN Decidability and Universality in Symbolic Dynamical Systems Delvenne, Jean-Charles · Kurka, Petr · Blondel, Vincent
arXiv 2004-03-30 EN Threshold values, stability analysis and high-q asymptotics for the coloring problem on random graphs Krzakala, Florent · Pagnani, Andrea · Weigt, Martin
arXiv 2003-12-07 EN Soft lambda-calculus: a language for polynomial time computation Baillot, Patrick · Mogbil, Virgile
arXiv 2003-10-09 EN Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold Achlioptas, Dimitris · Moore, Cristopher
arXiv 2003-09-17 EN Lower bounds for predecessor searching in the cell probe model Sen, Pranab · Venkatesh, S.
arXiv 2003-09-12 EN Threshold values of Random K-SAT from the cavity method Mertens, Stephan · Mezard, Marc · Zecchina, Riccardo
arXiv 2003-09-10 EN Using Simulated Annealing to Calculate the Trembles of Trembling Hand Perfection McDonald, Stuart · Wagner, Liam
arXiv 2003-09-06 EN The KR-Benes Network: A Control-Optimal Rearrangeable Permutation Network Kannan, Rajgopal
arXiv 2003-08-05 EN Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations Impagliazzo, Russell · Segerlind, Nathan
arXiv 2003-08-05 EN On the probabilistic approach to the random satisfiability problem Parisi, Giorgio
arXiv 2003-07-17 EN High-density and Secure Data Transmission via Linear Combinations Grolmusz, Vince
