Multipath Detection Using Boolean Satisfiability Techniques

Figure 2

An example of a network with 8 data bits and 2 SR bits.