Revue d'intelligence artificielle RSTI série RIA Tome 28 n°5 ; septembre-octobre 2014 ; programmation par contraintes

• Date de parution : 20/01/2015
• Editeur : Hermes Science Publications
• EAN : 9782746246898
• Série : (-)
• Support : Papier

• Nombre de pages : 118
• Collection : (-)
• Genre : Sciences appliquées
• Thème : Sciences appliquées Autres technologies
• Prix littéraire(s) : (-)

Un nouveau modèle pour la classication non supervisée sous contraintes, T. Hanh Dao, K. Duong, C. Vrain - pp.523-545 Maintenir des MDD persistants pour établir la consistance d'arc, J.
Vion, S. Piechowiak - pp.547-569 Compacité pratique des diagrammes de décision valués.... Voir plus

Un nouveau modèle pour la classication non supervisée sous contraintes, T. Hanh Dao, K. Duong, C. Vrain - pp.523-545 Maintenir des MDD persistants pour établir la consistance d'arc, J.
Vion, S. Piechowiak - pp.547-569 Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations, H. Fargier , P. Marquis , N. Schmidt - pp.571-592 Améliorer SAT dans le cadre incrémental, G. Audemard, A. Biere, J.
Lagniez, L. Simon - pp.593-614 Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne, D.
Le Berre, E. Lonca - pp.615-636