Parametric quantified SAT solving (Q2946524)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parametric quantified SAT solving
scientific article

    Statements

    title
    Parametric quantified SAT solving (English)
    0 references
    author
    Thomas Sturm
    0 references
    Christoph Zengler
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH Keywords
    QSAT
    0 references
    SAT
    0 references
    generalization
    0 references
    parameters
    0 references
    propositional logic
    0 references
    quantifier elimination
    0 references
    describes a project that uses
    REDUCE
    0 references
    DIFFALG
    0 references
    REDLOG
    0 references
    RSat
    0 references
    AIDA
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q25
    0 references
    03B05
    0 references
    03C10
    0 references
    03G05
    0 references
    zbMATH DE Number
    6483037
    0 references
    OpenAlex ID
    W1986146359
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946524&oldid=36201384"
    Powered by MediaWiki