Revue d'intelligence artificielle RSTI série RIA Volume 28 N° 5/Septembre-Octobre 2014 Programmation par contraintes
Langue : Français
Auteur : TRUCHET Charlotte
- 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
Retrouvez l'ensemble des numéros de la Revue d'Intelligence Artificielle parus depuis 2001 sur RevuesOnline.
Date de parution : 01-2015
Numéro de revue de 118 p.
16x24 cm
Retiré de la vente
Thème de Revue d'intelligence artificielle RSTI série RIA Volume... :
© 2024 LAVOISIER S.A.S.