Return to Article Details Computational Short Cuts in Infinite Domain Constraint Satisfaction Download Download PDF