Handbook of constraint programming 动态规划ConstraitsinProceduralandConcurrentLanguages限制编程人员必备的手册,很有用的。用于算法优化