General Lower Bounds and Improved Algorithms for Infinite-Domain CSPs.

Peter Jonsson Victor Lagerkvist

Published in: Algorithmica (2023)

Keyphrases

lower bound
pseudo boolean optimization
special case
upper and lower bounds
upper bound
worst case
domain specific
orders of magnitude
lower and upper bounds
data structure
computational cost
constraint satisfaction problems
space complexity