Another look at graph coloring via propositional satisfiability (Q2467359)

From MaRDI portal
Revision as of 20:53, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Another look at graph coloring via propositional satisfiability
scientific article

    Statements

    Another look at graph coloring via propositional satisfiability (English)
    0 references
    21 January 2008
    0 references
    graph coloring
    0 references
    propositional satisfiability
    0 references
    constraint satisfaction
    0 references
    symmetry breaking
    0 references
    independent-set analysis
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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