Two-phase constraint processing [mp]
Micro pattern¶
Description¶
Establish all relations of one type before checking constraints that depend on their complete transitive closure.
Problems¶
- 990. Satisfiability of Equality Equations (Graph Theory)
- 802. Find Eventual Safe States (Graph Theory)