Formalization and implementation of modern SAT solvers (Q839035)

From MaRDI portal
Revision as of 21:17, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Formalization and implementation of modern SAT solvers
scientific article

    Statements

    title
    Formalization and implementation of modern SAT solvers (English)
    0 references
    author
    Filip Marić
    0 references
    publication date
    1 September 2009
    0 references
    zbMATH Keywords
    SAT solving
    0 references
    DPLL
    0 references
    software verification
    0 references
    algorithms
    0 references
    data structures
    0 references
    describes a project that uses
    PicoSAT
    0 references
    SATO
    0 references
    Chaff
    0 references
    BerkMin
    0 references
    MiniSat
    0 references
    Archive Formal Proofs
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T20
    0 references
    68T15
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5600748
    0 references
    OpenAlex ID
    W2021196646
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q839035&oldid=31937289"
    Powered by MediaWiki