%0 Journal Article %1 journals/constraints/LiffitonMLAMS09 %A Liffiton, Mark H. %A Mneimneh, Maher N. %A Lynce, Inês %A Andraus, Zaher S. %A Marques-Silva, João %A Sakallah, Karem A. %D 2009 %J Constraints An Int. J. %K dblp %N 4 %P 415-442 %T A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. %U http://dblp.uni-trier.de/db/journals/constraints/constraints14.html#LiffitonMLAMS09 %V 14

@article{journals/constraints/LiffitonMLAMS09, added-at = {2020-03-13T00:00:00.000+0100}, author = {Liffiton, Mark H. and Mneimneh, Maher N. and Lynce, Inês and Andraus, Zaher S. and Marques-Silva, João and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/2050261e3adfdd5a42f16f8140a7c7ab9/dblp}, ee = {https://doi.org/10.1007/s10601-008-9058-8}, interhash = {aee886f04812d76d3fb508ed439a9996}, intrahash = {050261e3adfdd5a42f16f8140a7c7ab9}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 4, pages = {415-442}, timestamp = {2020-03-14T12:04:03.000+0100}, title = {A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints14.html#LiffitonMLAMS09}, volume = 14, year = 2009 }