Lattice-Based Soft Constraint Programming Framework

• 基于代数格的软约束程序设计框架