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
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem - MaRDI portal

Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem (Q3651486)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem
scientific article

    Statements

    title
    Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem (English)
    0 references
    DOI
    10.1613/jair.2808
    0 references
    author
    Hai Leong Chieu
    0 references
    Wee Sun Lee
    0 references
    publication date
    10 December 2009
    0 references
    zbMATH DE Number
    5644889
    0 references
    zbMATH Keywords
    survey propagation algorithm
    0 references
    describes a project that uses
    UBCSAT
    0 references
    RSat
    0 references
    MiniSat
    0 references
    OpenAlex ID
    W2131529421
    0 references
    arXiv ID
    1401.3483
    0 references
    Wikidata QID
    Q129520994
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3651486&oldid=37634024"
    Powered by MediaWiki