The following publications are possibly variants of this publication:
- A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable FormulasMaher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João P. Marques Silva, Karem A. Sakallah. sat 2005: 467-474 [doi]
- AMUSE: a minimally-unsatisfiable subformula extractorYoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov. dac 2004: 518-523 [doi]
- On Finding All Minimally Unsatisfiable SubformulasMark H. Liffiton, Karem A. Sakallah. sat 2005: 173-186 [doi]
- Computing Minimally Unsatisfiable Subformulas: State of the Art and Future DirectionsJoão Marques-Silva. mvl, 19(1-3):163-183, 2012. [doi]
- Algorithms for Computing Minimal Unsatisfiable Subsets of ConstraintsMark H. Liffiton, Karem A. Sakallah. JAR, 40(1):1-33, 2008. [doi]
- Algorithms for computing minimal equivalent subformulasAnton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva. ai, 216:309-326, 2014. [doi]