Cs-Cc
A New General-Purpose Method to Multiply 3x3 Matrices Using Only 23 Multiplications
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
A Relation between the Protocol Partition Number and the Quasi-Additive Bound
Complexity of Model Checking for Modal Dependence Logic
Minimum k-path vertex cover
Practical Verified Computation with Streaming Interactive Proofs
Arc Consistency and Friends
Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity
Control Complexity in Bucklin and Fallback Voting
Pfaffian Circuits
Modeling overland flow from local inflows in almost no-time, using Self Organizing Maps
On Computational Power of Quantum Read-Once Branching Programs
The vertex leafage of chordal graphs
Data Reduction for Graph Coloring Problems
Self-Assembly with Geometric Tiles
Symmetry-assisted adversaries for quantum state generation
Complexity Classifications for Propositional Abduction in Posts Framework
Duality Gap, Computational Complexity and NP Completeness: A Survey
Distributed XML Design
Classical and Quantum Annealing in the Median of Three Satisfiability
Symmetry of information and bounds on nonuniform randomness extraction via Kolmogorov extractors
A Survey of PPAD-Completeness for Computing Nash Equilibria
