( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.

, , , и . KSEM (2), том 11062 из Lecture Notes in Computer Science, стр. 48-58. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Xiaokang Ouyang

Yingkai Ouyang

Dongxun Ouyang

Nengtai Ouyang

Wanli Ouyang

 

Другие публикации лиц с тем же именем

Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis., и . ICIC (1), том 4681 из Lecture Notes in Computer Science, стр. 157-166. Springer, (2007)An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT., , , и . KSEM (2), том 11062 из Lecture Notes in Computer Science, стр. 48-58. Springer, (2018)An extended hierarchical framework for definitions of diagnosability of discrete event systems., и . SMC, стр. 1966-1971. IEEE, (2008)A restart local search algorithm for solving maximum set k-covering problem., , , , и . Neural Comput. Appl., 29 (10): 755-765 (2018)Model Counting with Boolean Algebra and Extension Rule., , и . J. Convergence Inf. Technol., 5 (7): 49-56 (2010)A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization., , , , и . Oper. Res. Lett., 37 (2): 117-122 (2009)Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies., , и . Int. J. Softw. Informatics, 13 (3): 359-374 (2023)A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs., , , и . FSKD, стр. 60-64. IEEE, (2011)Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies., , и . IWOST-1, том 1339 из CEUR Workshop Proceedings, стр. 105-115. CEUR-WS.org, (2015)A Multi-heuristic Cooperative Ant Colony System for Optimizing Elimination Ordering of Bayesian Networks., , , , и . IAT, стр. 75-78. IEEE Computer Society Press, (2010)978-0-7695-4191-4.