An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas.

Huiyuan Xie, Jie Luo

Browse the full ICTAI paper archive.