Computer Science and Engineering, Department of

 

Computer Science, Computer Engineering, and Bioinformatics: Conference and Workshop Papers

Date of this Version

2011

Document Type

Article

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.

Share

COinS