%0 Journal Article %1 journals/tocl/CarvalhoMMZ23 %A Carvalho, Catarina %A Madelaine, Florent R. %A Martin, Barnaby %A Zhuk, Dmitriy %D 2023 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 5:1-5:26 %T The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. %U http://dblp.uni-trier.de/db/journals/tocl/tocl24.html#CarvalhoMMZ23 %V 24

@article{journals/tocl/CarvalhoMMZ23, added-at = {2023-04-16T00:00:00.000+0200}, author = {Carvalho, Catarina and Madelaine, Florent R. and Martin, Barnaby and Zhuk, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/2b4762cf5ab5adb1c0853fea2d89be3b3/dblp}, ee = {https://doi.org/10.1145/3568397}, interhash = {b5a26f0145838509287f9d8370970b3b}, intrahash = {b4762cf5ab5adb1c0853fea2d89be3b3}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, month = {January}, number = 1, pages = {5:1-5:26}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl24.html#CarvalhoMMZ23}, volume = 24, year = 2023 }