Constraint Answer Set Programming Systems

DOI10.4230/LIPIcs.ICLP.2010.255zbMath1237.68185OpenAlexW1517880980MaRDI QIDQ2883103

Christian Drescher

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_758b.html

zbMATH Keywords

constraint logic programminganswer set programmingconstraint processing

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• MiniSat
• Gringo
• Smodels
• Lparse
• clasp
• Sugar
• Clingcon

This page was built for publication: Constraint Answer Set Programming Systems