Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis