Conference Papers
Year : 2020
Richard Ostrowski : Connect in order to contact the contributor
https://amu.hal.science/hal-02456248
Submitted on : Monday, January 27, 2020-11:21:50 AM
Last modification on : Friday, March 24, 2023-2:53:14 PM
Dates and versions
Identifiers
- HAL Id : hal-02456248 , version 1
Cite
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⟩
42
View
3
Download