Multipath Detection Using Boolean Satisfiability Techniques

Figure 1

An example of a satisfiable SAT instance showing its corresponding decision tree.