Prof. Gene Freuder wrote a position paper “Complete Explanations”: “The position taken here is that it can be worthwhile to start with truly complete explanations and abstract and limit from there. The goal is to provide a high-level “big picture” of the problem, in a form readily meaningful to a human user. The hope is that this may, as well, lead to general insights into constraint satisfaction problem structure… We need not just scalable algorithms but effective human-computer interfaces, including visualization tools, that help users grasp the big picture and explore their options.“ Link