next up previous
Next: The BS-Solve architecture Up: Design of BS-Solve Previous: Design of BS-Waltz

Embedding Waltz's algorithm in BS-Solve

The parallel algorithm BS-Waltz is designed to maintain a distributed Queue of active constraints while repeatedly selecting and applying in parallel a set of operators.



next up previous
Next: The BS-Solve architecture Up: Design of BS-Solve Previous: Design of BS-Waltz



www-admin@icot.or.jp