Answer Set Solving with Lazy Nogood Generation

DOI10.4230/LIPIcs.ICLP.2012.188zbMath1281.68178OpenAlexW2171683607MaRDI QIDQ5398057

Christian Drescher, Toby Walsh

Publication date: 25 February 2014

Full work available at URL: https://doi.org/10.4230/LIPIcs.ICLP.2012.188

zbMATH Keywords

constraint propagationconstraint answer set programmingconflict-driven nogood learninglazy nogood generation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (3)

Clingcon: The next generation ⋮ Inlining External Sources in Answer Set Programs ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks

Uses Software

• Clingcon

This page was built for publication: Answer Set Solving with Lazy Nogood Generation