Conflicts Focus MR Goal: Achieve Thrust A conflict, C, is an assignment to a subset of the control variables that entails the negation of the goal Conflicts Focus MR Goal: Achieve Thrust A conflict, C, is an assignment to a subset of the control variables that entails the negation of the goal23 Goal: Achieve Thrust A conflict, C, is an assignment to a subset of the control variables that entails the negation of the goal. Conflicts Focus MR 24 Goal: Achieve Thrust A conflict, C, is an assignment to a subset of the control variables that entails the negation of the goal. Conflicts Focus MR