New local search methods for partial MaxSAT (Q329035)

From MaRDI portal
scientific article
Language Label Description Also known as
English
New local search methods for partial MaxSAT
scientific article

    Statements

    title
    New local search methods for partial MaxSAT (English)
    0 references
    author
    Shaowei Cai
    0 references
    Chuan Luo
    0 references
    Kaile Su
    0 references
    Jin Kun Lin
    0 references
    publication date
    21 October 2016
    0 references
    zbMATH Keywords
    partial MaxSAT
    0 references
    local search
    0 references
    hard and soft score
    0 references
    initialization
    0 references
    describes a project that uses
    Sat4j
    0 references
    Runsolver
    0 references
    MiniMaxSat
    0 references
    Open-WBO
    0 references
    CCASat
    0 references
    CCLS
    0 references
    Paramils
    0 references
    RPOLY
    0 references
    MaxHS
    0 references
    SMAC
    0 references
    UBCSAT
    0 references
    QMaxSAT
    0 references
    CCAnr
    0 references
    WPM2
    0 references
    cites work
    Q3604010
    0 references
    Q3624109
    0 references
    Q5472387
    0 references
    Q2786911
    0 references
    Q3624095
    0 references
    Q2786915
    0 references
    Q4415205
    0 references

    Identifiers

    zbMATH DE Number
    6641946
    0 references
    OpenAlex ID
    W2484319280
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q329035&oldid=38307432"
    Powered by MediaWiki