Open-WBO-Inc

MaRDI QIDQ1353143swMATHFDO

Official website https://sukrutrao.github.io/project/open-wbo-inc/

Source code repository https://github.com/sbjoshi/Open-WBO-Inc

Described by source

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

Cited in

(7)

• QMaxSAT
• PESPLib
• CCEHC
• SATLike
• GenericWrapper4AC
• Polarity and variable selection heuristics for SAT-based anytime MaxSAT
• WPM3

This page was built for software: Open-WBO-Inc