Affiliation:
1. University of Kentucky
Publisher
Open Publishing Association
Reference13 articles.
1. lpopt: A Rule Optimization Tool for Answer Set Programming;Bichler,2016
2. Performance Tuning in Answer Set Programming;Buddenhagen,2015
3. ASP-Core-2 Input Language Format;Calimeri;Theory Pract. Log. Program.,2020
4. Symmetric Splitting in the General Theory of Stable Models;Ferraris,2009
5. Challenges in Answer Set Solving;Gebser,2011
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献