Pham, S.T.S.T.PhamDevriendt, J.J.DevriendtDe Causmaecker, P.P.De Causmaecker2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/31523Formalize neighbourhoods for local search using predicate logicMeeting abstract