%0 Conference Paper %1 conf/cp/IgnatievPLM15 %A Ignatiev, Alexey %A Previti, Alessandro %A Liffiton, Mark H. %A Marques-Silva, João %B CP %D 2015 %E Pesant, Gilles %I Springer %K dblp %P 173-182 %T Smallest MUS Extraction with Minimal Hitting Set Dualization. %U http://dblp.uni-trier.de/db/conf/cp/cp2015.html#IgnatievPLM15 %V 9255 %@ 978-3-319-23218-8

@inproceedings{conf/cp/IgnatievPLM15, added-at = {2020-02-24T00:00:00.000+0100}, author = {Ignatiev, Alexey and Previti, Alessandro and Liffiton, Mark H. and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/20686ba40f9e03c4e8e9e3230e658739c/dblp}, booktitle = {CP}, crossref = {conf/cp/2015}, editor = {Pesant, Gilles}, ee = {https://doi.org/10.1007/978-3-319-23219-5_13}, interhash = {5178dfaed9765517ce696169d49831ae}, intrahash = {0686ba40f9e03c4e8e9e3230e658739c}, isbn = {978-3-319-23218-8}, keywords = {dblp}, pages = {173-182}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:23:42.000+0100}, title = {Smallest MUS Extraction with Minimal Hitting Set Dualization.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2015.html#IgnatievPLM15}, volume = 9255, year = 2015 }