Extension de Compact-Table aux tables négatives et concises

Verhaeghe, Hélène;Lecoutre, Christophe;Schaus, Pierre
(2017) Treizièmes journées Francophones de Programmation par Contraintes (JFPC17) — Location: Montreuil-sur-Mer, France (13.June.2017)

Files

10-verhaeghe_finalSubmit.pdf
  • Open Access
  • Adobe PDF
  • 287.66 KB
Download

Details

Authors
Abstract
Ces dernières années, plusieurs algorithmes pour la contrainte table ont été proposés pour assurer la proprié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 [4], intitulé ”Extending Compact-Table to Negative and Short Tables” et publié à AAAI-17, aux tables concises (contenant des supports courts) et aux tables négatives (contenant des conflits).
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Verhaeghe, H., Lecoutre, C., & Schaus, P. (2017). Extension de Compact-Table aux tables négatives et concises. Treizièmes journées Francophones de Programmation par Contraintes (JFPC17), Montreuil-sur-Mer, France. https://hdl.handle.net/2078.5/219091