%0 Conference Paper %1 conf/ksem/TaoOL018 %A Tao, Ya %A Ouyang, Dantong %A Liu, Meng %A Zhang, Liming %B KSEM (2) %D 2018 %E Liu, Weiru %E Giunchiglia, Fausto %E Yang, Bo %I Springer %K dblp %P 48-58 %T An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT. %U http://dblp.uni-trier.de/db/conf/ksem/ksem2018-2.html#TaoOL018 %V 11062 %@ 978-3-319-99247-1

@inproceedings{conf/ksem/TaoOL018, added-at = {2018-08-13T00:00:00.000+0200}, author = {Tao, Ya and Ouyang, Dantong and Liu, Meng and Zhang, Liming}, biburl = {https://www.bibsonomy.org/bibtex/217ec16a98110a760734224ce8dfe6fda/dblp}, booktitle = {KSEM (2)}, crossref = {conf/ksem/2018-2}, editor = {Liu, Weiru and Giunchiglia, Fausto and Yang, Bo}, ee = {https://doi.org/10.1007/978-3-319-99247-1_5}, interhash = {e48527f986570a58133e1210dd15fdf0}, intrahash = {17ec16a98110a760734224ce8dfe6fda}, isbn = {978-3-319-99247-1}, keywords = {dblp}, pages = {48-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:46:47.000+0200}, title = {An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.}, url = {http://dblp.uni-trier.de/db/conf/ksem/ksem2018-2.html#TaoOL018}, volume = 11062, year = 2018 }