Reformulating the Dual Graphs of CSPs to Improve the Performance of RNIC

•Introduction •Relational Neighborhood Inverse Consistency –Property & algorithm •Reformulating the Dual Graph by 1.Removing redundant edges, yields property wRNIC 2.Triangulation, yields property triRNIC •Selection strategy: four alternative dual graphs •Experimental Results •Conclusio