K He,
Q Li,
X Sun - Proceedings of the 2023 Annual ACM-SIAM …, 2023 - SIAM
In a seminal paper (Moser and Tardos, JACM'10), Moser and Tardos developed a simple
and powerful algorithm to find solutions to constraint satisfaction problems. Kolipaka and …