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
Towards efficient MUS extraction - MaRDI portal

Towards efficient MUS extraction (Q3164969)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards efficient MUS extraction
scientific article

    Statements

    title
    Towards efficient MUS extraction (English)
    0 references
    author
    Anton Belov
    0 references
    Inês Lynce
    0 references
    João P. Marques-Silva
    0 references
    publication date
    25 October 2012
    0 references
    zbMATH Keywords
    Boolean satisfiability
    0 references
    minimally unsatisfiable subformula
    0 references

    Identifiers

    DOI
    10.3233/AIC-2012-0523
    0 references
    zbMATH DE Number
    6098648
    0 references
    OpenAlex ID
    W1879512746
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3164969&oldid=37271394"
    Powered by MediaWiki