Solving the MinimumCost Satisfiability Problem Using SAT Based BranchandBound Search
https://powershow.com/view/1cbc35-N2Y3M/Solving_the_MinimumCost_Satisfiability_Problem_Using_SAT_Based_BranchandBound_Search
Icons create by Freepik from www.flaticon.com/
