@InProceedings{Robert:sara11, author = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere}, title = {{Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency}}, booktitle = {Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011)}, year = 2011, pages = {140--148}, publisher = {AAAI Press}, }