A Graph Based Synthesis Algorithm for Solving CSPs

May 2003

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2003)

Volume

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2003)

All Papers

Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to a set of constraints. While solving a CSP is an NP-complete task in general, it is believed that efficiency can be significantly improved by exploiting the characteristics of the problem. In this paper, we present a solution synthesis algorithm called ω-CDGT which is an existing algorithm named CDGT augmented with a constraint representative graph called ω-graph. We show that the worst-case complexity of the ω-CDGT algorithm is better than other related algorithms.