Skip to Main content Skip to Navigation
Conference papers

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

Richard Ostrowski 1 Lionel Paris 1 Adrien Varet 1
1 COALA - COntraintes, ALgorithmes et Applications
LIS - Laboratoire d'Informatique et Systèmes
Document type :
Conference papers
Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-02299020
Contributor : Richard Ostrowski <>
Submitted on : Friday, September 27, 2019 - 1:38:18 PM
Last modification on : Saturday, September 28, 2019 - 1:25:34 AM

Identifiers

  • HAL Id : hal-02299020, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

45