minibones computes a backbone of a given propositional formula in conjunctive normal forma (CNF). See [1] for further details.
[1] Algorithms for Computing Backbones of Propositional Formulae, Mikoláš Janota, Inês Lynce, and Joao Marques-Silva in Journal of AI Communications (AI-Com)