Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming

  • Authors:
  • Mohammad Ghoniem;Hadrien Cambazard;Jean-Daniel Fekete;Narendra Jussien

  • Affiliations:
  • École des Mines de Nantes;École des Mines de Nantes;INRIA Futurs/LRI;École des Mines de Nantes

  • Venue:
  • SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.