Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency (SARA 11)

Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere, "Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency," in Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011), AAAI Press, 2011, pp. 140--148. [PDF] [BIB] [Slides PPT]