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
Propositional proof systems based on maximum satisfiability - MaRDI portal

Propositional proof systems based on maximum satisfiability (Q2238728)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Propositional proof systems based on maximum satisfiability
scientific article

    Statements

    title
    Propositional proof systems based on maximum satisfiability (English)
    0 references
    author
    Maria Luisa Bonet
    0 references
    Samuel R. Buss
    0 references
    Alexey Ignatiev
    0 references
    Antonio Morgado
    0 references
    João P. Marques-Silva
    0 references
    publication date
    2 November 2021
    0 references
    zbMATH Keywords
    propositional proof systems
    0 references
    maximum satisfiability
    0 references
    clause learning
    0 references
    resolution
    0 references
    describes a project that uses
    Open-WBO
    0 references
    LMHS
    0 references
    Glucose
    0 references
    MaxHS
    0 references
    SaDiCaL
    0 references
    Plingeling
    0 references
    Lingeling
    0 references
    MiniSat
    0 references
    CPLEX
    0 references
    Treengeling
    0 references
    cites work
    Q4035300
    0 references
    Q5715680
    0 references
    Q5503674
    0 references
    Resolution for Max-SAT
    0 references
    Q4934563
    0 references
    Q5593816
    0 references

    Identifiers

    zbMATH DE Number
    7418696
    0 references
    OpenAlex ID
    W3182818576
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2238728&oldid=36729286"
    Powered by MediaWiki