%0 Journal Article %1 journals/tplp/CalimeriPZ19 %A Calimeri, Francesco %A Perri, Simona %A Zangari, Jessica %D 2019 %J Theory Pract. Log. Program. %K dblp %N 4 %P 603-628 %T Optimizing Answer Set Computation via Heuristic-Based Decomposition. %U http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#CalimeriPZ19 %V 19

@article{journals/tplp/CalimeriPZ19, added-at = {2020-02-13T00:00:00.000+0100}, author = {Calimeri, Francesco and Perri, Simona and Zangari, Jessica}, biburl = {https://www.bibsonomy.org/bibtex/22e6c153f4275206dc2ea0e4e2ff1406d/dblp}, ee = {https://doi.org/10.1017/S1471068419000036}, interhash = {05a1dc71545dca963763f375fddda929}, intrahash = {2e6c153f4275206dc2ea0e4e2ff1406d}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 4, pages = {603-628}, timestamp = {2020-02-14T11:43:25.000+0100}, title = {Optimizing Answer Set Computation via Heuristic-Based Decomposition.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#CalimeriPZ19}, volume = 19, year = 2019 }