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⟩