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