Comment by srean

Root causing from symptoms is one case where SAT or their ML analogue -- graphical models are quite useful.