Constraint answer set programming systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1237.68185
author: Christian Drescher
publication date: 2012-05-11T00:00:00Z
full work available at URL: frontdoor 758b.html
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6033353
zbMATH Keywords: answer set programming
zbMATH Keywords: constraint logic programming
zbMATH Keywords: constraint processing
describes a project that uses: Gringo
describes a project that uses: Lparse
describes a project that uses: Smodels
describes a project that uses: MiniSat
describes a project that uses: clasp
describes a project that uses: Sugar
describes a project that uses: Clingcon
MaRDI profile type: Publication
OpenAlex ID: W1517880980
DOI: 10.4230/LIPICS.ICLP.2010.255
title: Constraint answer set programming systems
description: scientific article; zbMATH DE number 6033353