J4
Previous Articles Next Articles
JIANG Ying-xin, SUN Ji-gui
Received:
Revised:
Online:
Published:
Contact:
Abstract: Constraint satisfaction problem (CSP) is a problem composed of a finite set of variables, each of which is associated with a finite domain, and a set of constraints can be used to restrict the values of the variables to be simultaneously taken. The task for solving the problem is to assign a value to each variable satisfying all the constraints. In this article, the basic algorithm and search strategies for solving CSP are summarized for the first time. Then a CSP solving system ILOG SOLVER is introduced, which was developed by France ILOG company. Finally, two map-coloring problem solutions are given by using this system.
Key words: constraint satisfaction problem, constraint solving, search strategies
CLC Number:
JIANG Ying-xin, SUN Ji-gui. Solving Constraint Satisfaction Problem and Brief Introduction to ILOG SOLVER System[J].J4, 2002, 40(01): 53-60.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://xuebao.jlu.edu.cn/lxb/EN/
http://xuebao.jlu.edu.cn/lxb/EN/Y2002/V40/I01/53
Cited