Ma, F., Yan, J., & Zhang, J. (2012). Solving Generalized Optimization Problems Subject to SMT Constraints. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 7285, 247-258. https://doi.org/10.1007/978-3-642-29700-7_23
Chicago Style (17th ed.) CitationMa, Feifei, Jun Yan, and Jian Zhang. "Solving Generalized Optimization Problems Subject to SMT Constraints." Frontiers in Algorithmics and Algorithmic Aspects in Information and Management 7285 (2012): 247-258. https://doi.org/10.1007/978-3-642-29700-7_23.
MLA (9th ed.) CitationMa, Feifei, et al. "Solving Generalized Optimization Problems Subject to SMT Constraints." Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, vol. 7285, 2012, pp. 247-258, https://doi.org/10.1007/978-3-642-29700-7_23.