Breaking symmetries in graph search with canonizing sets (Q2398437)

From MaRDI portal
Revision as of 20:57, 28 February 2024 by SwMATHimport240215 (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 DE Number
    6760753
    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
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2398437&oldid=23488590"
    Powered by MediaWiki