Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 308 Bytes

File metadata and controls

6 lines (4 loc) · 308 Bytes

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