A relaxed approach to combinatorial problems in robustness and diagnostics