Satisfiability in multi-valued circuits (Q5145331)

From MaRDI portal
scientific article; zbMATH DE number 7298780
Language Label Description Also known as
English
Satisfiability in multi-valued circuits
scientific article; zbMATH DE number 7298780

    Statements

    title
    Satisfiability in multi-valued circuits (English)
    0 references
    author
    Paweł M. Idziak
    0 references
    Jacek Krzaczkowski
    0 references
    publication date
    20 January 2021
    0 references
    zbMATH Keywords
    circuit satisfiability
    0 references
    solving equations
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68R07
    0 references
    08B10
    0 references
    68Q06
    0 references
    68Q25
    0 references
    zbMATH DE Number
    7298780
    0 references
    OpenAlex ID
    W2963612844
    0 references
    arXiv ID
    1710.08163
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5145331&oldid=33720253"
    Powered by MediaWiki