A SAT Approach to Clique-Width (Q2946763): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 1304.5498 / rank
 
Normal rank

Revision as of 10:20, 19 April 2024

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