Solving satisfaction problems using large-neighbourhood search

Publication
CP 2020