Dynamic Branching in Qualitative Constraint Networks via Counting Local Models.

Michael Sioutis, Diedrich Wolter

Browse the full TIME paper archive.