Une autre règle de séparation pour des codages de CSP vers SAT - Aix-Marseille Université Access content directly
Conference Papers Year : 2019

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

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-02299020 , version 1

Cite

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 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More