BibTeX record conf/ideal/ZhangXZSPLXL11

• > Home > conf/ideal/ZhangXZSPLXL11

@inproceedings{DBLP:conf/ideal/ZhangXZSPLXL11,
  author       = {Jianmin Zhang and
                  Weixia Xu and
                  Jun Zhang and
                  ShengYu Shen and
                  Zhengbin Pang and
                  Tiejun Li and
                  Jun Xia and
                  Sikun Li},
  editor       = {Hujun Yin and
                  Wenjia Wang and
                  Victor J. Rayward{-}Smith},
  title        = {Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search
                  Algorithm},
  booktitle    = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2011
                  - 12th International Conference, Norwich, UK, September 7-9, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6936},
  pages        = {178--185},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23878-9\_22},
  doi          = {10.1007/978-3-642-23878-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ideal/ZhangXZSPLXL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}