Cs-Cc
Loops under Strategies ... Continued
Finding of k in Fagins R. Theorem 24
Reducts of Ramsey structures
Backdoors to Tractable Answer-Set Programming
The problematic nature of potentially polynomial-time algorithms solving the subset-sum problem
Minimization for Generalized Boolean Formulas
Phase Transitions of Plan Modification in Conformant Planning
Tractable Set Constraints
Phase-based Minimalist Parsing and complexity in non-local dependencies
The Traveling Salesman Problem Under Squared Euclidean Distances
Complexity of two-variable Dependence Logic and IF-Logic
Algorithmic Randomness as Foundation of Inductive Reasoning and Artificial Intelligence
On the Certification of the Restricted Isometry Property
Complete Multi-Representations of Sets in a Computable Measure Space
NP-Logic Systems and Model-Equivalence Reductions
Defining Pathway Assembly and Exploring its Applications
Distribution-Independent Evolvability of Linear Threshold Functions
Matrix Insertion-Deletion Systems
Random Generation and Approximate Counting of Combinatorial Structures
Impossibility of independence amplification in Kolmogorov complexity theory
Computational complexity of reconstruction and isomorphism testing for designs and line graphs
The Complexity of Proving Chaoticity and the Church-Turing Thesis