Semantic width and the fixed-parameter tractability of constraint satisfaction problems - Chen, H; Gottlob, G; Lanzinger, M; Pichler, R (Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020)