ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
« Intelligence Artificielle et Agriculture Numérique »
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
Nouvel éditeur en 2019
 

couverture du numéro

PROGRAMMATION PAR CONTRAINTES
sous la direction de CHARLOTTE TRUCHET

 LISTE DES ARTICLES POUR LE VOL 28/5 - 2014
Sommaire  [GRATUIT]
- pp.520-520
INTRODUCTION  [GRATUIT]
Charlotte TRUCHET - pp.521-522
Un nouveau modèle pour la classification non supervisée sous contraintes
Thi Bich HANH DAO, Khanh-Chuong DUONG, Christel VRAIN - pp.523-545
Maintenir des MDD persistants pour établir la consistance d’arc
Julien VION, Sylvain PIECHOWIAK - pp.547-569
Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations
Hélène FARGIER , Pierre MARQUIS , Nicolas SCHMIDT - pp.571-592
Améliorer SAT dans le cadre incrémental
Gilles AUDEMARD, Armin BIERE, Jean-Marie LAGNIEZ, Laurent SIMON - pp.593-614
Réutiliser ou adapter les prouveurs SAT pour l’optimisation booléenne
Daniel LE BERRE, Emmanuel LONCA - pp.615-636
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier