Open-WBO-Inc

swMATH41869MaRDI QIDQ1353143FDOQ1353143

Author name not available (Why is that?)

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

Described by source

• Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

Cited In (1)

• Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

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