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

From MaRDI portal
Revision as of 22:44, 20 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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=1738962"
      Powered by MediaWiki