The figure below shows a portion of the CSP representation for this problem, showing three

variables representing three of our intersections, and constraints relating to those intersections.

C$1$ is the constraint that says intersection $1$ must have a stop sign, and C$2$ and C$3$ state that

consecutive intersections cannot both have stop signs or both be uncontrolle