Sioutis, MichailMichailSioutis0000-0001-7562-2443Wolter, DiedrichDiedrichWolter0000-0001-9185-01472022-09-012022-09-0120210890-5401https://fis.uni-bamberg.de/handle/uniba/55354engDynamic branching in qualitative constraint-based reasoning via counting local modelsarticle10.1016/j.ic.2021.104787