BibTeX record conf/ausai/ZhangLS06

download as .bib file

@inproceedings{DBLP:conf/ausai/ZhangLS06,
  author    = {Jianmin Zhang and
               Sikun Li and
               ShengYu Shen},
  editor    = {Abdul Sattar and
               Byeong{-}Ho Kang},
  title     = {Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm},
  booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
               Conference on Artificial Intelligence, Hobart, Australia, December
               4-8, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4304},
  pages     = {847--856},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11941439\_89},
  doi       = {10.1007/11941439\_89},
  timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
  biburl    = {https://dblp.org/rec/conf/ausai/ZhangLS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics