约束满足问题求解及ILOG SOLVER系统简介

姜英新, 孙吉贵

Solving Constraint Satisfaction Problem and Brief Introduction to ILOG SOLVER System

JIANG Ying-xin, SUN Ji-gui

吉林大学学报(理学版) . 2002, (01): 53 -60 .