The goal of inference is to find the assignment to the inference variables that maximizes total score.
we seek to solve Here 1 represents all the inference variables together and C denotes the set of all valid assignments to the variables, defined by the following set of constraints: 1.