Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking (Q2398438)

From MaRDI portal
Revision as of 20:40, 2 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking
scientific article

    Statements

    title
    Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking (English)
    0 references
    author
    Michael Codish
    0 references
    Michael Frank
    0 references
    Avraham Itzhakov
    0 references
    Alice Ann Miller
    0 references
    published in
    Constraints
    0 references
    publication date
    16 August 2017
    0 references
    zbMATH DE Number
    6760754
    0 references
    zbMATH Keywords
    Ramsey numbers
    0 references
    SAT solving
    0 references
    symmetry breaking
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2398438&oldid=15036253"
    Powered by MediaWiki