Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency

Open in new window