共 54 条
[34]
An efficient algorithm for finding minimal overconstrained subsystems for model-based diagnosis
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2008, 38 (01)
:197-206
[36]
Alonso NM, 2013, LECT NOTES COMPUT SC, V8109, P239, DOI 10.1007/978-3-642-40643-0_25
[37]
Murota K., 2012, Systems analysis by graphs and matroids: structural solvability and controllability, V3
[40]
Possible conflicts:: A compilation technique for consistency-based diagnosis
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS,
2004, 34 (05)
:2192-2206