Figure 3.

Two coverings of the variable gadget for x, when x is set to: (a) false, or (b) true in the assignment.

Ma┼łuch et al. BMC Bioinformatics 2012 13(Suppl 19):S11   doi:10.1186/1471-2105-13-S19-S11