Constraint Answer Set Solving (Q4649733)

From MaRDI portal
Revision as of 05:40, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6105008
Language Label Description Also known as
English
Constraint Answer Set Solving
scientific article; zbMATH DE number 6105008

    Statements

    title
    Constraint Answer Set Solving (English)
    0 references
    author
    Martin Gebser
    0 references
    Max Ostrowski
    0 references
    Torsten Schaub
    0 references
    publication date
    13 November 2012
    0 references
    describes a project that uses
    Potassco
    0 references
    clasp
    0 references
    DLV-EX
    0 references
    Clingcon
    0 references
    Clingo
    0 references

    Identifiers

    zbMATH DE Number
    6105008
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4649733&oldid=23077885"
    Powered by MediaWiki