共 38 条
[1]
Abreu R., 2009, SARA, V9, P2
[2]
Allen M, 2011, J AM WATER WORKS ASS, V103, P63
[3]
[Anonymous], 2008, PROCEEDING 23 NATL C
[4]
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[6]
Conflicts versus analytical redundancy relations:: A comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS,
2004, 34 (05)
:2163-2177
[8]
De Kleer J, 2011, 22 INT WORKSH PRINC
[10]
Analytical Approach to Parallel Repetition
[J].
STOC'14: PROCEEDINGS OF THE 46TH ANNUAL 2014 ACM SYMPOSIUM ON THEORY OF COMPUTING,
2014,
:624-633