\textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT

DOI10.3233/SAT190118MaRDI QIDQ5015607zbMATH OpenFDO

Authors Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins

Publication date 9 December 2021

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

zbMATH Keywords

approximationMaxSATweightedincomplete

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Minimaxsat: an efficient weighted Max-SAT solver
• Principles and Practice of Constraint Programming – CP 2004
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing
• An efficient solver for weighted Max-SAT
• WPM3: an (in)complete algorithm for weighted partial MaxSAT

Cites work

• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• A linear-time transformation of linear inequalities into conjunctive normal form
• Boolean lexicographic optimization: algorithms \& applications
• CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
• CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
• Dynamic polynomial watchdog encoding for solving weighted MaxSAT
• Hierarchical clustering schemes
• LMHS: a SAT-IP hybrid MaxSat solver
• Open-WBO: a modular MaxSAT solver
• PySAT: a Python toolkit for prototyping with SAT oracles
• QMaxSAT: A partial Max-SAT solver
• Solving MaxSAT with bit-vector optimization
• WPM3: an (in)complete algorithm for weighted partial MaxSAT

Cited in

(3)

• Polarity and variable selection heuristics for SAT-based anytime MaxSAT
• \texttt{TT-Open-WBO-Inc}: an efficient anytime MaxSAT solver
• Open-WBO-Inc

Describes a project that uses

Uses Software

• WPM3
• CCEHC
• CCLS
• RC2
• PySAT
• LMHS
• QMaxSAT
• StarExec
• Sat4j

This page was built for publication: \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015607)