Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation

AAAI 2011 pp. 1772-1773

doi:10.1609/AAAI.V25I1.8029 /aaai/2011/drescher2011aaai-conflict/

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.

PDF AAAI Semantic Scholar

Cite

Text

Drescher and Walsh. "Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation." AAAI Conference on Artificial Intelligence, 2011. doi:10.1609/AAAI.V25I1.8029

Markdown

[Drescher and Walsh. "Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation." AAAI Conference on Artificial Intelligence, 2011.](https://mlanthology.org/aaai/2011/drescher2011aaai-conflict/) doi:10.1609/AAAI.V25I1.8029

BibTeX

@inproceedings{drescher2011aaai-conflict,
  title     = {{Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation}},
  author    = {Drescher, Christian and Walsh, Toby},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1772-1773},
  doi       = {10.1609/AAAI.V25I1.8029},
  url       = {https://mlanthology.org/aaai/2011/drescher2011aaai-conflict/}
}