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

From MaRDI portal
Created claim: Wikidata QID (P12): Q62043237, #quickstatements; #temporary_batch_1711094041063
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving (Weighted) Partial MaxSAT through Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: SAT-based MaxSAT algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boolean lexicographic optimization: algorithms \& applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3604010 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterative and core-guided maxsat solving: a survey and assessment / rank
 
Normal rank
Property / cites work
 
Property / cites work: A threshold for unsatisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving satisfiability problems with preferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connections in Networks: Hardness of Feasibility Versus Optimality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimizing with minimum satisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution-based lower bounds in MaxSAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3624095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4475628 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A study of complexity transitions on the asymmetric traveling salesman problem / rank
 
Normal rank

Latest revision as of 08:04, 13 July 2024

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