RC2: an Efficient MaxSAT Solver

DOI10.3233/SAT190116zbMath1484.68216OpenAlexW2995373617MaRDI QIDQ5015603

Alexey Ignatiev, Antonio Morgado, João P. Marques-Silva

Publication date: 9 December 2021

Published in: Journal on Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/sat190116

zbMATH Keywords

maximum satisfiabilityrelaxable/soft cardinality constraints

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (13)

Boosting branch-and-bound MaxSAT solvers with clause learning ⋮ Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding ⋮ QMaxSATpb: a certified MaxSAT solver ⋮ Understanding the power of Max-SAT resolution through up-resilience ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ RC2 ⋮ Clause redundancy and preprocessing in maximum satisfiability ⋮ Proofs and Certificates for Max-SAT ⋮ Learning Optimal Decision Sets and Lists with SAT ⋮ Efficient SAT-based minimal model generation methods for modal logic S5 ⋮ SAT-based rigorous explanations for decision lists ⋮ Assessing progress in SAT solvers through the Lens of incremental SAT ⋮ A proof builder for Max-SAT

Uses Software

• Python
• PySAT

Cites Work

• SAT-based MaxSAT algorithms
• Boolean lexicographic optimization: algorithms \& applications
• PySAT: a Python toolkit for prototyping with SAT oracles
• Iterative and core-guided maxsat solving: a survey and assessment
• Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing
• Algorithms for Weighted Boolean Optimization
• Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
• Unsatisfiability-based optimization in clasp
• On Solving the Partial MAX-SAT Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: RC2: an Efficient MaxSAT Solver