数理逻辑在优化中的应用

1