Feifei Ma, Jun Yan, Jian Zhang. Solving Generalized Optimization Problems Subject to SMT Constraints. In Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang, editors, Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings. Volume 7285 of Lecture Notes in Computer Science, pages 247-258, Springer, 2012. [doi]
Abstract is missing.