%0 Conference Paper %1 conf/cp/GregoireMP07 %A Grégoire, Éric %A Mazure, Bertrand %A Piette, Cédric %B CP %D 2007 %E Bessiere, Christian %I Springer %K dblp %P 317-331 %T MUST: Provide a Finer-Grained Explanation of Unsatisfiability. %U http://dblp.uni-trier.de/db/conf/cp/cp2007.html#GregoireMP07 %V 4741 %@ 978-3-540-74969-1

@inproceedings{conf/cp/GregoireMP07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Grégoire, Éric and Mazure, Bertrand and Piette, Cédric}, biburl = {https://www.bibsonomy.org/bibtex/23c4f0fec6f528ef565cb487384c694f5/dblp}, booktitle = {CP}, crossref = {conf/cp/2007}, editor = {Bessiere, Christian}, ee = {https://doi.org/10.1007/978-3-540-74970-7_24}, interhash = {6e4118fc648344dbcdfea84b3bcc875c}, intrahash = {3c4f0fec6f528ef565cb487384c694f5}, isbn = {978-3-540-74969-1}, keywords = {dblp}, pages = {317-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:44.000+0200}, title = {MUST: Provide a Finer-Grained Explanation of Unsatisfiability.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2007.html#GregoireMP07}, volume = 4741, year = 2007 }