Cs-Cc
Generic case complexity and One-Way functions
Analysis of the Deterministic Polynomial Time Solvability of the 0-1-Knapsack Problem
Longest paths in Planar DAGs in Unambiguous Logspace
A Theory for Valiants Matchcircuits (Extended Abstract)
3-Way Composition of Weighted Finite-State Transducers
Kolmogorov Complexity Theory over the Reals
Clusters of solutions and replica symmetry breaking in random k-satisfiability
On Termination for Faulty Channel Machines
On the Complexity of Elementary Modal Logics
Topological Dynamics of Cellular Automata: Dimension Matters
Solving the P/NP Problem under Intrinsic Uncertainty
A polytime proof of correctness of the Rabin-Miller algorithm from Fermats little theorem
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Kaltofens division-free determinant algorithm differentiated for matrix adjoint computation
Three New Complexity Results for Resource Allocation Problems
Constraint satisfaction problems with isolated solutions are hard
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Equilibria, Fixed Points, and Complexity Classes
SAT Has No Wizards
Recursive Concurrent Stochastic Games
P is not equal to NP
Reduced Kronecker coefficients and counter-examples to Mulmuleys strong saturation conjecture SH
