%0 Journal Article %1 journals/amai/KahlLS19 %A Kahl, Patrick Thor %A Leclerc, Anthony P. %A Son, Tran Cao %D 2019 %J Ann. Math. Artif. Intell. %K dblp %N 1-3 %P 61-85 %T A parallel memory-efficient epistemic logic program solver: harder, better, faster. %U http://dblp.uni-trier.de/db/journals/amai/amai86.html#KahlLS19 %V 86

@article{journals/amai/KahlLS19, added-at = {2019-08-08T00:00:00.000+0200}, author = {Kahl, Patrick Thor and Leclerc, Anthony P. and Son, Tran Cao}, biburl = {https://www.bibsonomy.org/bibtex/21619f1631a34f6092ed969568347a2aa/dblp}, ee = {https://doi.org/10.1007/s10472-019-09621-1}, interhash = {750f6d19ed8d6d05978664def78a13e4}, intrahash = {1619f1631a34f6092ed969568347a2aa}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-3}, pages = {61-85}, timestamp = {2019-08-09T11:43:56.000+0200}, title = {A parallel memory-efficient epistemic logic program solver: harder, better, faster.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai86.html#KahlLS19}, volume = 86, year = 2019 }