%0 Journal Article %1 journals/tplp/WeinzierlTF20 %A Weinzierl, Antonius %A Taupe, Richard %A Friedrich, Gerhard %D 2020 %J Theory Pract. Log. Program. %K dblp %N 5 %P 609-624 %T Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. %U http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#WeinzierlTF20 %V 20

@article{journals/tplp/WeinzierlTF20, added-at = {2020-12-01T00:00:00.000+0100}, author = {Weinzierl, Antonius and Taupe, Richard and Friedrich, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/2cbcd684900e386a01d2053233b2589fe/dblp}, ee = {https://doi.org/10.1017/S1471068420000332}, interhash = {73f6759f48ea619bae25246362b0620e}, intrahash = {cbcd684900e386a01d2053233b2589fe}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 5, pages = {609-624}, timestamp = {2024-04-09T05:34:31.000+0200}, title = {Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#WeinzierlTF20}, volume = 20, year = 2020 }