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

How to cite

top

Jianmin Zhang, et al. "Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories." Computer Science and Information Systems (2011): 693-710. <http://eudml.org/doc/253096>.

@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 -

NotesEmbed ?

top

You must be logged in to post comments.