The following publications are possibly variants of this publication:
- Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search AlgorithmJianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li. ideal 2011: 178-185 [doi]
- Optimal Search-Based Gene Subset Selection for Gene Array Cancer ClassificationJiexun Li, Hua Su, Hsinchun Chen, Bernard W. Futscher. titb, 11(4):398-405, 2007. [doi]
- A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple StringsQingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin. AAAI 2010: 1287-1292 [doi]