Cs-Cc
The Complexity of Datalog on Linear Orders
Quantum Proofs for Classical Theorems
Explicit formulas for efficient multiplication in F_{3^{6m}}
Resource-bounded Dimension in Computational Learning Theory
A quasipolynomial-time algorithm for the quantum separability problem
Holographic algorithms without matchgates
Algorithms for Quantum Branching Programs Based on Fingerprinting
Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication
Swapping Lemmas for Regular and Context-Free Languages
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
Two-phase algorithms for the parametric shortest path problem
Bounding Rationality by Discounting Time
Spanning Trees of Bounded Degree Graphs
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
A Generalization of Nemhauser and Trotters Local Optimization Theorem
Optimal Aggregation of Blocks into Subproblems in Linear-Programs with Block-Diagonal-Structure
One-Way Reversible and Quantum Finite Automata with Advice
A sufficient condition for first order non-definability of arrowing problems
The Power of Choice for Random Satisfiability
Augmenting a Geometric Matching is $NP$-complete
Inapproximability of Dominating Set in Power Law Graphs
Online Vector Scheduling and Generalized Load Balancing
