Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming
Mohammad Ghoniem, Hadrien Cambazard, Jean‐Daniel Fekete, Narendra Jussien · 2005
In this paper, we describe the use of visualization tools in the context of constraint programming. Specifically, we focus on the visualization of dynamic graphs using adjacency matrices, and show that visualization tools can provide valuable insights into the behavior of constraint-based solvers. This contributes to better understanding solver dynamics for teaching purposes, and can enhance the analysis and the optimization of constraint-based programs in connection with known and difficult research problems.