Figure 4.

A covering of the (a) 2-clause gadget; and (b) 3-clause gadget, where literal p is satisfied.

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