Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving

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]

Authors

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google

Shaden Smith

This author has not been identified. Look up 'Shaden Smith' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google

Alex Westlund

This author has not been identified. Look up 'Alex Westlund' in Google