Approximating the Backbone in the Weighted Maximum Satisfiability Problem

Devs

Approximating the Backbone in the Weighted Maximum Satisfiability Problem | Read Paper on Bytez