Constraint answer set programming (CASP) is a novel, promising direction of research whose roots go back to propositional satisfiability (SAT): it integrates answer set programming with constraint processing. This new area has already demonstrated promising results, including the development of the solvers such as Acsolver, Clingcon, Ezcsp, IDP, Mingo. This article provides a brief overview of the area.

PDF

ALP newsletter feautured article (2012).

@article{lier-alp, title={Constraint Answer Set Programming}, author={Yuliya Lierler}, booktitle={ALP newsletter feautured article}, url="http://www.cs.utexas.edu/users/ai-lab?lier-alp", year={2012} }