On the relation among answer set solvers (Q1028643)

From MaRDI portal
Revision as of 01:51, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
On the relation among answer set solvers
scientific article

    Statements

    title
    On the relation among answer set solvers (English)
    0 references
    author
    Enrico Giunchiglia
    0 references
    Nicola Leone
    0 references
    Marco Maratea
    0 references
    publication date
    6 July 2009
    0 references
    describes a project that uses
    ASSAT
    0 references
    Chaff
    0 references
    Cmodels
    0 references
    nomore++
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N17
    0 references
    68T20
    0 references
    68T27
    0 references
    zbMATH DE Number
    5576024
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1028643&oldid=24069051"
    Powered by MediaWiki