%0 Conference Paper %F Oral %T Another Way to Browse the Search Space For Some Transformations from CSP to SAT %+ COntraintes, ALgorithmes et Applications (COALA) %A Ostrowski, Richard %A Paris, Lionel %A Varet, Adrien %< avec comité de lecture %B International Symposium on Artificial Intelligence and Mathematics %C Fort Lauderdale, United States %8 2020-01-06 %D 2020 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-02456248 %U https://amu.hal.science/hal-02456248 %~ UNIV-TLN %~ CNRS %~ UNIV-AMU %~ LIS-LAB %~ INCIAM