Optimal satisfiability for propositional calculi and constraint satisfaction problems. (Q1426002)

From MaRDI portal
Revision as of 17:43, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Optimal satisfiability for propositional calculi and constraint satisfaction problems.
scientific article

    Statements

    title
    Optimal satisfiability for propositional calculi and constraint satisfaction problems. (English)
    0 references
    author
    Steffen Reith
    0 references
    Heribert Vollmer
    0 references
    publication date
    14 March 2004
    0 references
    zbMATH Keywords
    \(s\)-formula
    0 references

    Identifiers

    zbMATH DE Number
    2056449
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1426002&oldid=13594545"
    Powered by MediaWiki