The Complete Classification for Quantified Equality Constraints

von Zhuk, Dmitriy
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (34. : 2023 : Florenz; Online) Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) ; Volume 4 of 7 (2023)