Weight constraints as nested expressions (Q4673539)

From MaRDI portal
Revision as of 16:28, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/tplp/FerrarisL05, #quickstatements; #temporary_batch_1731508824982)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 2163131
Language Label Description Also known as
English
Weight constraints as nested expressions
scientific article; zbMATH DE number 2163131

    Statements

    Weight constraints as nested expressions (English)
    0 references
    0 references
    0 references
    29 April 2005
    0 references
    answer sets
    0 references
    cardinality constraints
    0 references
    SMODELS
    0 references
    stable models
    0 references
    weight constraints
    0 references

    Identifiers