%0 Journal Article %1 journals/corr/Marques-SilvaJ14 %A Marques-Silva, João %A Janota, Mikolás %D 2014 %J CoRR %K dblp %T Computing Minimal Sets on Propositional Formulae I: Problems & Reductions. %U http://dblp.uni-trier.de/db/journals/corr/corr1402.html#Marques-SilvaJ14 %V abs/1402.3011

@article{journals/corr/Marques-SilvaJ14, added-at = {2020-02-24T00:00:00.000+0100}, author = {Marques-Silva, João and Janota, Mikolás}, biburl = {https://www.bibsonomy.org/bibtex/2b9c5172ae987187203ad96b5a8e8fedd/dblp}, ee = {http://arxiv.org/abs/1402.3011}, interhash = {ea67afaa4478824d2803863638a82f5b}, intrahash = {b9c5172ae987187203ad96b5a8e8fedd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-02-25T13:02:50.000+0100}, title = {Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1402.html#Marques-SilvaJ14}, volume = {abs/1402.3011}, year = 2014 }