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