Overview of Type Constrained Programming(TCP) in C C~()类型约束编程(TCP)概要
Except for the partial synchronized / strictly synchronized type, all other types have been successfully transformed into linear constrained quadratic programming models. 除了部分同步/严格同步型以外,其他所有的子野分解模式都成功地转化为线性约束二次规划模型。