MRV Splitting Logic