MaxSAT by improved instance-specific algorithm configuration (Q274404)

From MaRDI portal
Revision as of 23:53, 4 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
MaxSAT by improved instance-specific algorithm configuration
scientific article

    Statements

    title
    MaxSAT by improved instance-specific algorithm configuration (English)
    0 references
    author
    Carlos Ansótegui
    0 references
    Joel Gabàs
    0 references
    Yuri Malitsky
    0 references
    Meinolf Sellmann
    0 references
    publication date
    22 April 2016
    0 references
    zbMATH Keywords
    algorithm configuration
    0 references
    algorithm selection
    0 references
    MaxSAT
    0 references
    describes a project that uses
    SATzilla
    0 references
    SAT competition
    0 references
    Sat4j
    0 references
    MiniMaxSat
    0 references
    Paramils
    0 references
    SMAC
    0 references
    QMaxSAT
    0 references
    SATenstein
    0 references

    Identifiers

    zbMATH DE Number
    6572784
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q274404&oldid=25498143"
    Powered by MediaWiki