Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors.

Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak

Browse the full CP paper archive.