A refutation approach to neighborhood interchangeability in CSPs - Likitvivatanavong, C. (2013)
10.1007/978-3-540-89378-3_10