Declarative Local-Search Neighbourhoods in MiniZinc | IEEE Conference Publication | IEEE Xplore