Failed Literal Detection for QBF (Q3007688)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Failed Literal Detection for QBF
scientific article

    Statements

    title
    Failed Literal Detection for QBF (English)
    0 references
    author
    Florian Lonsing
    0 references
    Armin Biere
    0 references
    publication date
    17 June 2011
    0 references
    describes a project that uses
    PicoSAT
    0 references
    DepQBF
    0 references
    Quantor
    0 references
    sQueezeBF
    0 references
    HeerHugo
    0 references
    Nenofex
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q25
    0 references
    03B05
    0 references
    68T15
    0 references
    68T20
    0 references
    zbMATH DE Number
    5908751
    0 references
    OpenAlex ID
    W178358665
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3007688&oldid=35232664"
    Powered by MediaWiki