research

Une nouvelle caractérisation des intervalles d'intérêt pour le raisonnement énergétique

Abstract

National audienceLe raisonnement énergétique (ER) pour la contrainte Cumulative permet un filtrage des domaines supérieur à la plupart des algorithmes de l'état de l'art. Hélas, il est généralement trop coûteux pour être uti-lisé en pratique. Une des raisons de ce coût important est que trop d'intervalles de temps sont considérés. Dans la littérature, des approches heuristiques ont été développées dans le but de réduire le nombre d'inter-valles à considérer, entrainant une perte de filtrage. Dans cet article, nous démontrons qu'il est possible de réduire le nombre d'intervalles d'intérêt jusqu'à un fac-teur sept pour la condition d'échec et le propagateur, sans diminuer la puissance de filtrage. En outre, nous montrons que, pour certaines classes de problèmes, associer ER à un algorithme de Time-Table constitue le meilleur compromis opérationnel

    Similar works