Dynamic branching in qualitative constraint networks via counting local models. (English) Zbl 07760482
Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 12, 15 p. (2020).
MSC:
68-XX
