Open-WBO-Inc

swMATH41869MaRDI QIDQ1353143FDOQ1353143

Author name not available (Why is that?)

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)

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

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