Description
Hi, I need solutions for the questions in the doc.
Clarification:
4.4: Assume that the domain of each variable has already been constrained by unary constraints before the assignment of 5 to variable T, and pay attention to the order in which arc-consistency should be applied to each variable.
4.1: typo with the second carry variable in constraint (e), should be: c1 + E + E + A = 10 * c2 + E
Unformatted Attachment Preview
Purchase answer to see full attachment
Explanation & Answer
Attached. Please let me know if you have any questions o...