##BDD-based SAT Approach for Solving MWVC Problem At first, we have to Reformulation from MWVC to PBC.