Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca. WASP: A Native ASP Solver Based on Constraint Learning. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 54-66, Springer, 2013. [doi]
Abstract is missing.