Cs-Cc
A note on anti-coordination and social interactions
On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem
Between Arrow and Gibbard-Satterthwaite; A representation theoretic approach
On Quantum Turing Machine Halting Deterministically
Sliding Windows with Limited Storage
The number system hidden inside the Boolean satisfiability problem
The computational complexity of Minesweeper
On the CNF-complexity of bipartite graphs containing no $K_{2,2}$s
A polynomial time algorithm for computing the HNF of a module over the integers of a number field
Compression with wildcards: All models of a Boolean 2-CNF
Adversary Lower Bound for Element Distinctness
Optimal Quantum Circuits for Nearest-Neighbor Architectures
Nonuniform Kolmogorov extractors
(Non-)existence of Polynomial Kernels for the Test Cover Problem
Symmetry Breaking Constraints: Recent Results
Universal Factor Graphs
The complexity of string partitioning
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Towards the Notion of an Abstract Quantum Automaton
Computing Multiplicities of Lie Group Representations
The Complexity of the Puzzles of Final Fantasy XIII-2
The computational hardness of counting in two-spin models on d-regular graphs
