### 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 language | English |
---|---|

Pages (from-to) | 1930-1935 |

Number of pages | 6 |

Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |

Volume | 2 |

Publication status | Published - 1997 Dec 1 |

Event | Proceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics. Part 3 (of 5) - Orlando, FL, USA Duration: 1997 Oct 12 → 1997 Oct 15 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Control and Systems Engineering
- Hardware and Architecture

### Cite this

*Proceedings of the IEEE International Conference on Systems, Man and Cybernetics*,

*2*, 1930-1935.

}

*Proceedings of the IEEE International Conference on Systems, Man and Cybernetics*, vol. 2, pp. 1930-1935.

**Constraint networks : A survey.** / Yang, Christopher C.; Yang, Ming Hsuan.

Research output: Contribution to journal › Conference article

TY - JOUR

T1 - Constraint networks

T2 - A survey

AU - Yang, Christopher C.

AU - Yang, Ming Hsuan

PY - 1997/12/1

Y1 - 1997/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031351380&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031351380&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0031351380

VL - 2

SP - 1930

EP - 1935

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

SN - 0884-3627

ER -