Feedback on first draft
Fragment of a discussion from Course talk:CPSC522/WeightedModelCounting
- was a mistake (it is )
-I considered this as a definition: "Where the is an indicator variable representing assignment of a value to a variable"
-I added a small section for similarities and differences though there is more differences in the end of ENC2.
-Added local structure definition to the abstract. For determinism, I mentioned that it is what follows.