Solving #SAT Using Vertex Covers (Q5756553)

From MaRDI portal
Revision as of 06:04, 7 March 2024 by Import240305080351 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 5187209
Language Label Description Also known as
English
Solving #SAT Using Vertex Covers
scientific article; zbMATH DE number 5187209

    Statements

    title
    Solving #SAT Using Vertex Covers (English)
    0 references
    DOI
    10.1007/11814948_36
    0 references
    author
    Naomi Nishimura
    0 references
    Stefan Szeider
    0 references
    Prabhakar Ragde
    0 references
    publication date
    4 September 2007
    0 references
    Mathematics Subject Classification ID
    68Q25
    0 references
    68R10
    0 references
    68T20
    0 references
    zbMATH DE Number
    5187209
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5756553&oldid=30528450"
    Powered by MediaWiki