An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints
Crossref DOI link: https://doi.org/10.1007/s11390-016-1675-x
Published Online: 2016-09-09
Published Print: 2016-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chen, Li
Wu, Jing-Zheng
Lv, Yin-Run
Wang, Yong-Ji