@inproceedings{DBLP:conf/cp/FichteHK20, title = {Treewidth-Aware Quantifier Elimination and Expansion for {QCSP}}, author = {Fichte, Johannes Klaus and Hecher, Markus and Kieler, Maximilian F. I.}, booktitle = {{CP}}, pages = {248--266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {12333}, year = {2020} }