Efficient automated reasoning about sets and multisets with cardinality constraints (Q2096432)

From MaRDI portal
Revision as of 10:24, 31 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Efficient automated reasoning about sets and multisets with cardinality constraints
scientific article

    Statements

    Efficient automated reasoning about sets and multisets with cardinality constraints (English)
    0 references
    0 references
    9 November 2022
    0 references
    multisets
    0 references
    cardinality constraints
    0 references
    linear interger arithmetic
    0 references

    Identifiers