Condotta Jean-François, Le Berre Daniel,
Résolution de contraintes qualitatives pour le temps et l'espace par SAT à partir de treillis,
dans Raisonnement sur le temps et l'espace et applications en analyse et en interprétation d'images ou de vidéos (RTE 2012), janvier 2012. (Actes ?roniques (HAL))
résumé : Dans cet article, nous proposons deux nouvelles traductions des r?aux de contraintes qualitatives (RCQ) pour le temps et l'espace en probl? SAT. partir d'un ordre partiel sur les relations de base formant un treillis, ces deux traductions SAT mod?sent un d?upage de chaque contrainte du RCQ consid? par des ensembles d'intervalles du treillis et des propri?s reliant ces intervalles et les op?tions de faible composition et d'inverse. Ces deux traductions peuvent ?e notamment utilis? dans le cadre du calcul des intervalles afin de traduire en probl? SAT un RCQ ?artir de l'ensemble des relations convexes.