ASP modulo CSP: The clingcon system (Q4911129): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:24, 8 February 2024

scientific article; zbMATH DE number 6144683
Language Label Description Also known as
English
ASP modulo CSP: The clingcon system
scientific article; zbMATH DE number 6144683

    Statements

    ASP modulo CSP: The clingcon system (English)
    0 references
    0 references
    0 references
    13 March 2013
    0 references
    non-Boolean constraints
    0 references
    irreducible inconsistent sets
    0 references

    Identifiers