Fixed-Template Promise Model Checking Problems

Kristina Asimi, Libor Barto, Silvia Butti

The fixed-template constraint satisfaction problem (CSP) can be seen as the problem of deciding whether a given primitive positive first-order sentence is true in a fixed structure…