使用混合整数线性规划从示例自动合成约束

Automatic synthesis of constraints from examples using mixed integer linear programming

• Tomasz P. Pawlak 通讯
• Krzysztof Krawiec