Ya Tao, Dantong Ouyang, Meng Liu, Liming Zhang 0005. An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT. In Weiru Liu, Fausto Giunchiglia, Bo Yang 0002, editors, Knowledge Science, Engineering and Management - 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018, Proceedings, Part II. Volume 11062 of Lecture Notes in Computer Science, pages 48-58, Springer, 2018. [doi]
Abstract is missing.