TY  - JOUR
AU  - Jianmin Zhang
AU  - Shengyu Shen
AU  - Jun Zhang
AU  - Sikun Li
TI  - Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_3_a9/
ID  - CSIS_2011_8_3_a9
ER  -