Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs

Authors

Robert J. Woodward, University of Nebraska-LincolnFollow
Shant K. Karakashian, University of Nebraska-LincolnFollow
Berthe Y. Choueiry, University of Nebraska-LincolnFollow
Christian Bessiere, University of Montpellier, FranceFollow

Date of this Version

2011

Citation

Choueiry & Bessiere in 25th AAAI Conference on Artificial Intelligence, pp.1830-1831, (2011)

Comments

Copyright IEEE (2011). Used by permission.

Abstract

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.