%0 Journal Article %1 journals/aicom/JanotaLM15 %A Janota, Mikolás %A Lynce, Inês %A Marques-Silva, João %D 2015 %J AI Commun. %K dblp %N 2 %P 161-177 %T Algorithms for computing backbones of propositional formulae. %U http://dblp.uni-trier.de/db/journals/aicom/aicom28.html#JanotaLM15 %V 28

@article{journals/aicom/JanotaLM15, added-at = {2020-02-24T00:00:00.000+0100}, author = {Janota, Mikolás and Lynce, Inês and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/28f9f0acc0b190c76369ff8013bd0333b/dblp}, ee = {https://doi.org/10.3233/AIC-140640}, interhash = {ca3930f112b3d7f2e56865714adc9eb1}, intrahash = {8f9f0acc0b190c76369ff8013bd0333b}, journal = {AI Commun.}, keywords = {dblp}, number = 2, pages = {161-177}, timestamp = {2020-02-25T12:18:03.000+0100}, title = {Algorithms for computing backbones of propositional formulae.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom28.html#JanotaLM15}, volume = 28, year = 2015 }