

![0_image_0.png](0_image_0.png)

![0_image_3.png](0_image_3.png)

![0_image_1.png](0_image_1.png)

![0_image_2.png](0_image_2.png)

Figure 11: Configurations of w 0 , w fs , w 5t , w 1 for clause c = p r V ¬p s V p t Combining with the constraints involving the spatial variable ν c , we are now ready to introduce Nc.

Definition 7. The basic CDC network N c for c = p x V p x V p x contains the basic CDC
constraints in N V (see Definition 6), and the basic CDC constraints used, explicitly or implicitly, in Eq.s 34-41.

Note two new parallel relations are introduced in Nc. The spatial variable set of Nc includes those in Nv, and vc, wc, wc, wc, wc, and two auxiliary variables for constructing parallel relations.

Proposition 3.  Suppose N c is the basic CDC network defined for clause c ≡ p z ∨ p s ∨ p s ∨ p s . In any solution of Nc, if u x (u x , u x , resp.) is horizontally instantiated, then its mbr bridges the gap between M(w δ ) (M(w ε s ), M(w ε t ), resp.)  and M(w ε s ) (M(w ε t ), M(w ε t ),
resp.).