Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm.

Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li

Browse the full IDEAL paper archive.