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
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Si certaines sont impressionnantes et effrayantes, d'autres sont drôles et rassurantes !
A gagner : la BD jeunesse adaptée du classique de Mary Shelley !
Caraïbes, 1492. "Ce sont ceux qui ont posé le pied sur ces terres qui ont amené la barbarie, la torture, la cruauté, la destruction des lieux, la mort..."
Un véritable puzzle et un incroyable tour de force !
