Costly general decision procedures can be sped up by incorporating eecient decision procedures for restricted classes of constraints. We show how to make use of these specialized decision procedures by constructing a network of cooperating decision procedures. Of course, in order to gain eeciency the expensive general decision procedures should not be called as far as possible. But they should ...
