A SAT Approach to Clique-Width (Q2946763)

From MaRDI portal
Revision as of 10:20, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
A SAT Approach to Clique-Width
scientific article

    Statements

    A SAT Approach to Clique-Width (English)
    0 references
    0 references
    0 references
    17 September 2015
    0 references
    clique-width
    0 references
    SAT encoding
    0 references
    SAT solver
    0 references
    cardinality constraint
    0 references
    \(k\)-expression
    0 references
    linear clique-width
    0 references
    satisfiability
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references