implementation of Min-Conflicts in progress