research
∙
04/01/2021
The complete classification for quantified equality constraints
We prove that QCSP(ℕ;x=y→ y=z) is PSpace-complete, settling a question o...
share
research
∙
06/29/2019
