Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 309 Bytes

File metadata and controls

6 lines (4 loc) · 309 Bytes

Use the AC-3 algorithm to show that arc consistency can detect the inconsistency of the partial assignment ${{WA}}{green},V{red}$ for the problem shown in Figure australia-figure.