Conference ProceedingsOPEN ACCESS

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation

Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011 (2011) 1772-1773
DOI: 10.1609/aaai.v25i1.8029
2Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.

Abstract

We present a new approach to enhancing answer set programming (ASP) with constraint programming (CP) techniques based on conflict-driven learning and lazy nogood generation.

Cite

CITATION STYLE

APA

Drescher, C., & Walsh, T. (2011). Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. In Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011 (pp. 1772–1773). AAAI Press. https://doi.org/10.1609/aaai.v25i1.8029

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free