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

Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund

Browse the full PADL paper archive.