ZhangSL07'

BibTeX

@inproceedings{DBLP:conf/iccsa/ZhangSL07,
  author    = {Jianmin Zhang and
               ShengYu Shen and
               Sikun Li},
  title     = {A Heuristic Local Search Algorithm for Unsatisfiable Cores
               Extraction},
  booktitle = {ICCSA (3)},
  year      = {2007},
  pages     = {649-659},
  ee        = {http://dx.doi.org/10.1007/978-3-540-74484-9_56},
  crossref  = {DBLP:conf/iccsa/2007-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccsa/2007-3,
  editor    = {Osvaldo Gervasi and
               Marina L. Gavrilova},
  title     = {Computational Science and Its Applications - ICCSA 2007,
               International Conference, Kuala Lumpur, Malaysia, August
               26-29, 2007. Proceedings. Part III},
  booktitle = {ICCSA (3)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4707},
  year      = {2007},
  isbn      = {978-3-540-74482-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}