Asimi, Barto, 2020. Finitely Tractable Promise Constraint Satisfaction Problems.