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
Link:
https://doi.org/10.1137/1.9781611977554.ch103