]>On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls : Figure 2
845804.fig.002
Figure 2: Polytope noninclusion.