WASP: A Native ASP Solver Based on Constraint Learning. Alviano, M., Dodaro, C., Faber, W., Leone, N., & Ricca, F. In Cabalar, P. & Son, T. C., 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, 2013. Springer.
WASP: A Native ASP Solver Based on Constraint Learning [link]Paper  doi  bibtex   

Downloads: 0