%0 Conference Paper %1 conf/lpnmr/Weinzierl17 %A Weinzierl, Antonius %B LPNMR %D 2017 %E Balduccini, Marcello %E Janhunen, Tomi %I Springer %K dblp %P 191-204 %T Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2017.html#Weinzierl17 %V 10377 %@ 978-3-319-61660-5

@inproceedings{conf/lpnmr/Weinzierl17, added-at = {2017-06-28T00:00:00.000+0200}, author = {Weinzierl, Antonius}, biburl = {https://www.bibsonomy.org/bibtex/220dad52f2900d4305cee5fda9a5b3a5d/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2017}, editor = {Balduccini, Marcello and Janhunen, Tomi}, ee = {https://doi.org/10.1007/978-3-319-61660-5_17}, interhash = {d48a4b6d32193776cfe4b4e1affb0a97}, intrahash = {20dad52f2900d4305cee5fda9a5b3a5d}, isbn = {978-3-319-61660-5}, keywords = {dblp}, pages = {191-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:24.000+0200}, title = {Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2017.html#Weinzierl17}, volume = 10377, year = 2017 }