Peeking in Solver Strategies Using Explanations -- Visualization of Dynamic Graphs for Constraint Programming

Mohammad Ghoniem 1 Hadrien Cambazard 1 Jean-Daniel Fekete 2 Narendra Jussien 3
2 IN-SITU - Situated interaction
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
3 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Résumé : no abstract
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00448539
Contributor : Contraintes Lina <>
Submitted on : Tuesday, January 19, 2010 - 12:54:16 PM
Last modification on : Friday, June 22, 2018 - 9:32:12 AM

Identifiers

  • HAL Id : hal-00448539, version 1

Citation

Mohammad Ghoniem, Hadrien Cambazard, Jean-Daniel Fekete, Narendra Jussien. Peeking in Solver Strategies Using Explanations -- Visualization of Dynamic Graphs for Constraint Programming. ACM symposium on Software Visualization (SOFTVIS'05), 2005, Saint-Louis, MO, USA, United States. pp.27--36. ⟨hal-00448539⟩

Share

Metrics

Record views

297