3.6. Extracting Solutions from a MUSE CSP after MUSE AC-1

4. The MUSE CSP Path Consistency Algorithm

In this section, we introduce an algorithm to achieve MUSE CSP path consistency, MUSE PC-1, which builds upon the PC-4 algorithm [Han & Lee, 1988].

• 4.1. MUSE PC-1
• 4.2. The Running Time, Space Complexity, and Correctness of MUSE PC-1