Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
Jianmin Zhang; Shengyu Shen; Jun Zhang; Weixia Xu; Sikun Li
Computer Science and Information Systems (2011)
- Issue: 19, page 693-710
- ISSN: 1820-0214
Jianmin Zhang; Shengyu Shen; Jun Zhang; Weixia Xu; Sikun Li
Computer Science and Information Systems (2011)