Visualizing explanations to exhibit dynamic structure in constraint problems
Mohammad Ghoniem, Narendra Jussien, Jean‐Daniel Fekete · 2003
In this paper, we introduce new visualization tools for explanations generated during search in a constraint program. Explanations are a very powerful tool for exhibiting dynamic interactions and relations appearing only during search. Moreover, we show that classical information that can be gathered in standard solvers does not allow retrieving this dynamic behavior thus advocating for the embedding of explanations within existing constraint solvers.