Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form - MaRDI portal

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form (Q2938491)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
scientific article

    Statements

    title
    Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form (English)
    0 references
    author
    Saïd Jabbour
    0 references
    Lakhdar Saïs
    0 references
    Yakoub Salhi
    0 references
    João P. Marques-Silva
    0 references
    publication date
    14 January 2015
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68R05
    0 references
    03B05
    0 references
    94C11
    0 references
    zbMATH DE Number
    6386572
    0 references
    OpenAlex ID
    W149544036
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2938491&oldid=35431746"
    Powered by MediaWiki