2.4. A Demonstration of the Utility of MUSE CSP Parsing

3. The MUSE CSP Arc Consistency Algorithm

In this section, we introduce an algorithm, MUSE AC-1, to achieve MUSE CSP arc consistency. Because our algorithm builds upon the AC-4 algorithm [Mohr & Henderson, 1986], we present that algorithm first for comparison purposes.

• 3.1. CSP Arc Consistency: AC-4
• 3.2. MUSE AC-1
• 3.3. The Running Time and Space Complexity of MUSE AC-1
• 3.4. The Correctness of MUSE AC-1
• 3.5. A Profile of MUSE AC-1
• 3.6. Extracting Solutions from a MUSE CSP after MUSE AC-1