Cs-Cc
A single-exponential FPT algorithm for the $K_4$-minor cover problem
A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings
Kolmogorov Complexity: Clustering Objects and Similarity
Deciding Monotone Duality and Identifying Frequent Itemsets in Quadratic Logspace
Control Complexity in Bucklin, Fallback, and Plurality Voting: An Experimental Approach
On the Complexity of Recognizing S-composite and S-prime Graphs
On the Complexity of Finding Narrow Proofs
Impartial coloring games
An NP-Complete Problem in Grid Coloring
Search versus Decision for Election Manipulation Problems
Hardness of approximation for crossing number
An Improved Lower Bound of The Spark With Application
Scrabble is PSPACE-Complete
Generalizing and Derandomizing Gurvitss Approximation Algorithm for the Permanent
Classical and quantum satisfiability
Classical and quantum partition bound and detector inefficiency
Observability of Turing Machines: a Refinement of the Theory of Computation
Approximating the partition function of planar two-state spin systems
Amortized communication complexity of an equality predicate
Sparse extractor families for all the entropy
The physical limit of logical compare operation
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
