BibTeX record conf/ksem/TaoOL018

• > Home > conf/ksem/TaoOL018

@inproceedings{DBLP:conf/ksem/TaoOL018,
  author       = {Ya Tao and
                  Dantong Ouyang and
                  Meng Liu and
                  Liming Zhang},
  editor       = {Weiru Liu and
                  Fausto Giunchiglia and
                  Bo Yang},
  title        = {An Efficient Approach for Computing Conflict Sets Combining Failure
                  Probability with {SAT}},
  booktitle    = {Knowledge Science, Engineering and Management - 11th International
                  Conference, {KSEM} 2018, Changchun, China, August 17-19, 2018, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11062},
  pages        = {48--58},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99247-1\_5},
  doi          = {10.1007/978-3-319-99247-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/TaoOL018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}