Peter Jonsson Victor Lagerkvist General Lower Bounds and Improved Algorithms for Infinite-Domain CSPs. 188-215 2023 85 Algorithmica 1 https://doi.org/10.1007/s00453-022-01017-8 db/journals/algorithmica/algorithmica85.html#JonssonL23