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

Richard Ostrowski; Lionel Paris; Adrien Varet

Conference Papers Year :

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

(1) , (1) , (1)

1

Richard Ostrowski

Function : Author

COntraintes, ALgorithmes et Applications

Lionel Paris

Function : Author

COntraintes, ALgorithmes et Applications

Adrien Varet

Function : Author
PersonId : 797164
ORCID : 0000-0003-3170-4484

COntraintes, ALgorithmes et Applications

Domains

Computer Science [cs] Computer Science [cs] Artificial Intelligence [cs.AI]

Richard Ostrowski : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-02299020

Submitted on : Friday, September 27, 2019-1:38:18 PM

Last modification on : Friday, March 24, 2023-2:53:12 PM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share