Richard J. Wallace. Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm. In Matteo Baldoni, Stefania Bandini, editors, AIxIA 2020 - Advances in Artificial Intelligence - XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers. Volume 12414 of Lecture Notes in Computer Science, pages 301-317, Springer, 2020. [doi]
Abstract is missing.