Maxterm Covering for Satisfiability (Q5277653)

From MaRDI portal
scientific article; zbMATH DE number 6743908
Language Label Description Also known as
English
Maxterm Covering for Satisfiability
scientific article; zbMATH DE number 6743908

    Statements

    title
    Maxterm Covering for Satisfiability (English)
    0 references
    author
    Liangze Yin
    0 references
    Fei He
    0 references
    William N. N. Hung
    0 references
    Xiaoyu Song
    0 references
    Ming Gu
    0 references
    publication date
    12 July 2017
    0 references

    Identifiers

    DOI
    10.1109/TC.2010.270
    0 references
    zbMATH DE Number
    6743908
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5277653&oldid=29328627"
    Powered by MediaWiki