ACCUEIL

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

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

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