Alpha: Solver for Lazy-Grounding Answer-Set Programming [pdf]cs.nmsu.edu33 points·tosh··0 commentsOpen articleSaveView on HN