Breaking symmetries in graph search with canonizing sets (Q2398437)

From MaRDI portal
Revision as of 05:23, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Breaking symmetries in graph search with canonizing sets
scientific article

    Statements

    title
    Breaking symmetries in graph search with canonizing sets (English)
    0 references
    author
    Avraham Itzhakov
    0 references
    Michael Codish
    0 references
    published in
    Constraints
    0 references
    publication date
    16 August 2017
    0 references
    zbMATH Keywords
    graph search problems
    0 references
    symmetry breaking
    0 references
    SAT solving
    0 references
    describes a project that uses
    Glucose
    0 references
    Easychair
    0 references
    Saucy
    0 references
    OEIS
    0 references
    nauty
    0 references

    Identifiers

    zbMATH DE Number
    6760753
    0 references
    OpenAlex ID
    W2270972703
    0 references
    arXiv ID
    1511.08205
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2398437&oldid=33513320"
    Powered by MediaWiki