Blending Lazy-Grounding and CDNL Search for Answer-Set Solving

PDF DOI
Type
Conference paper
Publication
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Date
Avatar
Antonius Weinzierl
Postdoctoral Researcher