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]
@inproceedings{LierlerSTW12, title = {Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving}, author = {Yuliya Lierler and Shaden Smith and Miroslaw Truszczynski and Alex Westlund}, year = {2012}, doi = {10.1007/978-3-642-27694-1_6}, url = {http://dx.doi.org/10.1007/978-3-642-27694-1_6}, researchr = {https://researchr.org/publication/LierlerSTW12}, cites = {0}, citedby = {0}, pages = {63-77}, booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings}, editor = {Claudio V. Russo and Neng-Fa Zhou}, volume = {7149}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-27693-4}, }