Evaluating Tree−Decomposition Based Algorithms for Answer Set Programming
Michael Morak‚ Nysret Musliu‚ Reinhard Pichler‚ Stefan Rümmele and Stefan Woltran
Book Title
Learning and Intelligent Optimization − 6th International Conference‚ LION 6‚ Paris‚ France‚ January 16−20‚ 2012‚ Revised Selected Papers
Editor
Youssef Hamadi and Marc Schoenauer
ISBN
978−3−642−34412−1
Pages
130–144
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7219
Year
2012