%0 Conference Paper %1 conf/aaim/MaYZ12 %A Ma, Feifei %A Yan, Jun %A Zhang, Jian %B FAW-AAIM %D 2012 %E Snoeyink, Jack %E Lu, Pinyan %E Su, Kaile %E Wang, Lusheng %I Springer %K dblp %P 247-258 %T Solving Generalized Optimization Problems Subject to SMT Constraints. %U http://dblp.uni-trier.de/db/conf/aaim/aaim2012.html#MaYZ12 %V 7285 %@ 978-3-642-29699-4

@inproceedings{conf/aaim/MaYZ12, added-at = {2018-07-11T00:00:00.000+0200}, author = {Ma, Feifei and Yan, Jun and Zhang, Jian}, biburl = {https://www.bibsonomy.org/bibtex/2e9baf8a9274069a08aa496480cf38387/dblp}, booktitle = {FAW-AAIM}, crossref = {conf/aaim/2012}, editor = {Snoeyink, Jack and Lu, Pinyan and Su, Kaile and Wang, Lusheng}, ee = {https://doi.org/10.1007/978-3-642-29700-7_23}, interhash = {576e67cad6aa30ac85f78e98c48dcdd2}, intrahash = {e9baf8a9274069a08aa496480cf38387}, isbn = {978-3-642-29699-4}, keywords = {dblp}, pages = {247-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:46:02.000+0200}, title = {Solving Generalized Optimization Problems Subject to SMT Constraints.}, url = {http://dblp.uni-trier.de/db/conf/aaim/aaim2012.html#MaYZ12}, volume = 7285, year = 2012 }