The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting