Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs

Freuder and Elfe (1996) introduced Neighborhood Inverse Consistency (NIC) for binary CSPs. In this paper, we introduce RNIC, the extension of NIC to nonbinary CSPs, and describe a practical algorithm for enforcing it. We propose an adaptive strategy to weaken or strengthen this property based on the connectivity of the network. We demonstrate the effectiveness of RNIC as a full lookahead strategy during search for solving difficult benchmark problems.

• Type: Journal
• Year: 2011
• Where: AAAI
• Authors: Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
• Keywords: AAAI 2011, Adaptive Strategy, Benchmark Problems, Csps, Intelligent Agents