VISEXP: Visualizing Constraint Solver Dynamics Using Explanations

Mohammad Ghoniem, Narendra Jussien, Jean-Daniel Fekete. VISEXP: Visualizing Constraint Solver Dynamics Using Explanations. In Valerie Barr, Zdravko Markov, editors, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA. pages 263-268, AAAI Press, 2004.

Abstract

Abstract is missing.