Treewidth-Aware Quantifier Elimination and Expansion for QCSP

von Fichte, Johannes K.
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)