VISEXP: visualizing constraint solver dynamics using explanations
Résumé
no abstract
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Narendra Jussien : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00869112
Soumis le : mercredi 2 octobre 2013-14:43:22
Dernière modification le : mardi 17 septembre 2024-15:54:52