On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972)

From MaRDI portal
Revision as of 08:04, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
scientific article

    Statements

    On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    27 January 2017
    0 references
    2SAT
    0 references
    satisfiability
    0 references
    MaxSAT
    0 references
    MinSAT
    0 references
    phase transitions
    0 references

    Identifiers