Approximation Strategies for Incomplete MaxSAT
Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of the unsatisfied soft clauses without providing any optimality guarantees. In this paper, we propose two approximation strategies for …
Open-WBO Incomplete MaxSAT Solver
Contributions to Open-WBO Incomplete MaxSAT solver.
Open-WBO-Inc in MaxSAT Evaluation 2018
Timetable generator using maxsat solver(Open-WBO)