General Lower Bounds and Improved Algorithms for Infinite-Domain CSPs

Peter Jonsson, Victor Lagerkvist. General Lower Bounds and Improved Algorithms for Infinite-Domain CSPs. Algorithmica, 85(1):188-215, 2023. [doi]

Abstract

Abstract is missing.