Extension de Compact-Table aux Tables Simplement Intelligentes

Verhaeghe, Hélène;Lecoutre Christophe;Deville, Yves;Schaus, Pierre
(2018) Quatorzième journées Francophones de Programmation par Contraintes (JFPC18) — Location: Amiens, France (13.June.2018)

Files

JFPC18-verhaeghe.pdf
  • Open Access
  • Adobe PDF
  • 466.53 KB
Download

Details

Authors
Abstract
Ces dernières années, plusieurs algorithmes pour la contrainte table ont été proposés pour assurer la pro- priété de cohérence d’arc généralisée (GAC). Compact- Table (CT) [1] est un algorithme récent de l’état-de-l’art, que nous avons étendu dans notre article [2], intitulé ”Ex- tending Compact-Table to Basic Smart Tables”et publié à CP-17, aux tables simplement intelligentes (contenant des éléments tels que = v, ∗, 6 = v, ≥ v, > v, < v,≤ v, ∈ S et 6∈ S, où v est une valeur et S un ensemble de va- leurs). Nos expérimentations montrent une amélioration du temps de résolution lorsqu’il y a compression.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Verhaeghe, H., Lecoutre Christophe, Deville, Y., & Schaus, P. (2018). Extension de Compact-Table aux Tables Simplement Intelligentes. Quatorzième journées Francophones de Programmation par Contraintes (JFPC18), Amiens, France. https://hdl.handle.net/2078.5/219254