%0 Journal Article %1 journals/jair/CimattiGS11 %A Cimatti, Alessandro %A Griggio, Alberto %A Sebastiani, Roberto %D 2011 %J J. Artif. Intell. Res. %K %P 701-728 %T Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/journals/jair/jair40.html#CimattiGS11 %V 40

@article{journals/jair/CimattiGS11, added-at = {2023-12-13T07:24:15.000+0100}, author = {Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2203f3f696a5f33649d7a57b5b3ca0d68/admin}, ee = {http://jair.org/papers/paper3196.html}, interhash = {b8921671592a421309c58cac1c95a41c}, intrahash = {203f3f696a5f33649d7a57b5b3ca0d68}, journal = {J. Artif. Intell. Res.}, keywords = {}, pages = {701-728}, timestamp = {2023-12-13T07:24:15.000+0100}, title = {Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair40.html#CimattiGS11}, volume = 40, year = 2011 }