Constraint networks: A survey

Christopher C. Yang, Ming Hsuan Yang

Research output: Contribution to journalConference article

7 Citations (Scopus)

Abstract

A constraint satisfaction problem (CSP) involves a set of variables, a domain of potential values for each variable, and a set of constraints, which specifies the acceptable combinations of values. One popular approach is to represent the original problem as a constraint network where nodes represent variables and arcs represent constraints between variables. Node consistency and arc consistency techniques are first applied to prune the domains of variables. Constraint propagation techniques are then applied to solve the problem. Many AI and engineering problems can be formulated as CSPs and solved by various CSP algorithms such as constraint propagation, backtracking, forward checking, and hybrids. This paper gives an overview of these algorithms. In particular, we present a review of the interval constraint satisfaction problems (ICSP). Real intervals or sets of discrete values label the variables. The constraints can be binary relationships or n-ary mathematical operations. The techniques for solving the interval constraint satisfaction problem such as Waltz filtering and tolerance propagation are presented.

Original languageEnglish
Pages (from-to)1930-1935
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume2
Publication statusPublished - 1997 Dec 1
EventProceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics. Part 3 (of 5) - Orlando, FL, USA
Duration: 1997 Oct 121997 Oct 15

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Constraint networks: A survey'. Together they form a unique fingerprint.

  • Cite this