public static Backbone computeNegative ( final Formula formula , final Collection < Variable > variables ) { return compute ( formula , variables , BackboneType . ONLY_NEGATIVE ) ; }
Computes the negative backbone variables for a given formula w . r . t . a collection of variables .