Paper: Algebraic and algorithmic synergies between promise and infinite-domain CSPs (at LICS 2025)
Authors: Antoine Mottet
Abstract
No Abstract Available
BibTeX
@InProceedings{Mottet-Algebraicandalgorit,
author = {Antoine Mottet},
title = {Algebraic and algorithmic synergies between promise and infinite-domain CSPs},
booktitle = {Proceedings of the Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025)},
year = {2025},
month = {June},
pages = {357--371},
location = {Singapore},
publisher = {ACM}
}
