%0 Journal Article %1 journals/constraints/GregoireMP07 %A Grégoire, Éric %A Mazure, Bertrand %A Piette, Cédric %D 2007 %J Constraints An Int. J. %K dblp %N 3 %P 325-344 %T Local-search Extraction of MUSes. %U http://dblp.uni-trier.de/db/journals/constraints/constraints12.html#GregoireMP07 %V 12

@article{journals/constraints/GregoireMP07, added-at = {2020-03-13T00:00:00.000+0100}, author = {Grégoire, Éric and Mazure, Bertrand and Piette, Cédric}, biburl = {https://www.bibsonomy.org/bibtex/26e10e547ccf66b87e045cf0ec9dd2799/dblp}, ee = {https://doi.org/10.1007/s10601-007-9019-7}, interhash = {e912f816c28c521f0ec6d007ab50c243}, intrahash = {6e10e547ccf66b87e045cf0ec9dd2799}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 3, pages = {325-344}, timestamp = {2020-03-14T12:04:17.000+0100}, title = {Local-search Extraction of MUSes.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints12.html#GregoireMP07}, volume = 12, year = 2007 }