Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories

@article{JianminZhang2011,
author = {Jianmin Zhang, Shengyu Shen, Jun Zhang, Weixia Xu, Sikun Li},
journal = {Computer Science and Information Systems},
language = {eng},
number = {19},
pages = {693-710},
publisher = {ComSIS Consortium},
title = {Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories},
url = {http://eudml.org/doc/253096},
year = {2011},
}

TY - JOUR
AU - Jianmin Zhang
AU - Shengyu Shen
AU - Jun Zhang
AU - Weixia Xu
AU - Sikun Li
TI - Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
JO - Computer Science and Information Systems
PY - 2011
PB - ComSIS Consortium
IS - 19
SP - 693
EP - 710
LA - eng
UR - http://eudml.org/doc/253096
ER -