Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.