The complete classification for quantified equality constraints
Tytuł:
The complete classification for quantified equality constraints
Konferencja:
ACM/SIAM Symposium on Discrete Algorithms [SODA]
Rok:
2023
Strony:
2746-2760
Numer DOI:
10.1137/1.9781611977554.ch103