Research Article

Multipath Detection Using Boolean Satisfiability Techniques

Table 1

Expressing logical constraints using CNF constraints.

Logical ConstraintCNF Constraint