1 code implementation • 19 Jun 2018 • Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
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.