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 !
Une fiction historique glaçante et inoubliable, aux confins de l’Antarctique
Découvrez les derniers trésors littéraires de l'année !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
L'auteur se glisse en reporter discret au sein de sa propre famille pour en dresser un portrait d'une humanité forte et fragile
