Author:
Bliem Bernhard,Pichler Reinhard,Woltran Stefan
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference33 articles.
1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher and S. Woltran. D-FLAT: Progress report. Technical Report DBAI-TR-2014-86, Vienna University of Technology, 2014.
2. Abseher M. Bliem B. Charwat G. Dusberger F. Hecher M. Woltran S. The D-FLAT system for dynamic programming on tree decompositions. In Proceedings of JELIA, pp. 558–572, 2014.
3. Alviano M. Calimeri F. Faber W. Ianni G. Leone N. Function symbols in ASP: Overview and perspectives. In Nonmonotonic Reasoning – Essays Celebrating Its 30th Anniversary, pp. 1–24. College Publications, 2011.
4. D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
5. Bliem B. Pichler R. Woltran S. Declarative dynamic programming as an alternative realization of Courcelle's theorem. In Proceedings of IPEC, pp. 28–40, 2013.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献