Une autre règle de séparation pour des codages de CSP vers SAT - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Une autre règle de séparation pour des codages de CSP vers SAT

Fichier non déposé

Dates et versions

hal-02299020 , version 1 (27-09-2019)

Identifiants

  • HAL Id : hal-02299020 , version 1

Citer

Richard Ostrowski, Lionel Paris, Adrien Varet. Une autre règle de séparation pour des codages de CSP vers SAT. Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2019, Albi, France. ⟨hal-02299020⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More