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

Opis:
https://ruj.uj.edu.pl/entities/publication/0dd4d067-0c0a-4c12-b72f-8c8e882931b4

Strony:
2746-2760

Numer DOI:
10.1137/1.9781611977554.ch103