Treewidth-Aware Quantifier Elimination and Expansion for QCSP.

Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler

Browse the full CP paper archive.