code: public static Backbone computeNegative(final Formula formula) {
          return compute(formula, formula.variables(), BackboneType.ONLY_NEGATIVE);
      }
docs: Computes the negative backbone variables for a given formula.
  @param formula the given formula
  @return the negative backbone or {@code null} if the formula is UNSAT