VISEXP: visualizing constraint solver dynamics using explanations

  Mohammad Ghoniem ¹ AuthorId : 369057
Author

  Narendra Jussien ² AuthorId : 784808
Correspondent author

  Jean-Daniel Fekete ³ AuthorId : 720310
Author IdHAL : jean-daniel-fekete arXiv : http://arxiv.org/a/fekete_j_1 ResearcherId : http://www.researcherid.com/rid/N-9175-2018 IdRef : https://www.idref.fr/08305491X ORCID : https://orcid.org/0000-0003-3770-8726 VIAF : http://viaf.org/viaf/220807935 ISNI : http://isni.org/isni/0000000360668419