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