Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs

Authors

  • Robert Woodward University of Nebraska-Lincoln
  • Shant Karakashian University of Nebraska-Lincoln
  • Berthe Choueiry University of Nebraska-Lincoln
  • Christian Bessiere University of Montpellier

DOI:

https://doi.org/10.1609/aaai.v25i1.8059

Abstract

Freuder and Elfe (1996) introduced Neighborhood Inverse Consistency (NIC) for binary CSPs. In this paper, we introduce RNIC, the extension of NIC to non-binary 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.

Downloads

Published

2011-08-04

How to Cite

Woodward, R., Karakashian, S., Choueiry, B., & Bessiere, C. (2011). Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1830-1831. https://doi.org/10.1609/aaai.v25i1.8059

Issue

Vol. 25 No. 1 (2011): Twenty-Fifth AAAI Conference on Artificial Intelligence

Section

Student Abstracts and Posters