Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund. Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. In Claudio V. Russo, Neng-Fa Zhou, editors, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Volume 7149 of Lecture Notes in Computer Science, pages 63-77, Springer, 2012. [doi]
Abstract is missing.