%0 Journal Article %1 journals/ai/LiZMS12 %A Li, Chu Min %A Zhu, Zhu %A Manyà, Felip %A Simon, Laurent %D 2012 %J Artif. Intell. %K dblp %P 32-44 %T Optimizing with minimum satisfiability. %U http://dblp.uni-trier.de/db/journals/ai/ai190.html#LiZMS12 %V 190

@article{journals/ai/LiZMS12, added-at = {2012-11-12T00:00:00.000+0100}, author = {Li, Chu Min and Zhu, Zhu and Manyà, Felip and Simon, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/296cf7a4fcb2f1332eec8713b6617a016/dblp}, ee = {http://dx.doi.org/10.1016/j.artint.2012.05.004}, interhash = {dcc5c225a9812a0eb91f204a0b1da1c1}, intrahash = {96cf7a4fcb2f1332eec8713b6617a016}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {32-44}, timestamp = {2016-02-02T03:22:19.000+0100}, title = {Optimizing with minimum satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai190.html#LiZMS12}, volume = 190, year = 2012 }