Skip to Main content Skip to Navigation
Conference papers

Another Way to Browse the Search Space For Some Transformations from CSP to 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 metadata

https://hal-amu.archives-ouvertes.fr/hal-02456248
Contributor : Richard Ostrowski Connect in order to contact the contributor
Submitted on : Monday, January 27, 2020 - 11:21:50 AM
Last modification on : Wednesday, November 3, 2021 - 9:45:33 AM

Identifiers

  • HAL Id : hal-02456248, version 1

Collections

Citation

Richard Ostrowski, Lionel Paris, Adrien Varet. Another Way to Browse the Search Space For Some Transformations from CSP to SAT. International Symposium on Artificial Intelligence and Mathematics, Jan 2020, Fort Lauderdale, United States. ⟨hal-02456248⟩

Share

Metrics

Les métriques sont temporairement indisponibles