12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00)
About the use of local consistency in solving CSPs
Vancouver, British Columbia, Canada
November 13-November 15
ISBN: 0-7695-0909-6
Abstract: Local consistency is often a suitable paradigm for solving constraint satisfaction problems. We show how search algorithms could be improved, thanks to a smart use of two filtering techniques (path consistency and singleton arc consistency). We propose a possible way to get benefits from using a partial form of path consistency (PC) during the search. We show how local treatment based on singleton arc consistency (SAC) can be used to achieve more powerful pruning.
Index Terms:
constraint handling; problem solving; search problems; local consistency; constraint satisfaction problem solving; search algorithms; filtering techniques; path consistency; singleton arc consistency; pruning
Citation:
A. Chmeiss, L. Sais, "About the use of local consistency in solving CSPs," ictai, pp.0104, 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), 2000