Figure 5.

The transformation in the case when the auxiliary hyperedge of the variable gadget is removed.

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