SAT Requires Exhaustive Search (Q6426925)

From MaRDI portal
scientific article; zbMATH DE number 900580664
Language Label Description Also known as
English
SAT Requires Exhaustive Search
scientific article; zbMATH DE number 900580664

    Statements

    publication date
    19 February 2023
    0 references
    arXiv classification
    cs.CC
    0 references
    cs.AI
    0 references
    cs.DM
    0 references
    cs.DS
    0 references
    math.CO
    0 references
    author
    Ke Xu
    0 references
    Guangyan Zhou
    0 references

    Identifiers

    arXiv ID
    2302.09512
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6426925&oldid=36103657"
    Powered by MediaWiki