Periodic Reporting for period 4 - CSP-Infinity (Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones)

The project investigates the theoretical boundaries of efficient computation. Which computational problems can be solved with a reasonable amount of computational resources, and for which computational problems is this hopeless? We primarily studied so-called constraint...