Another Way to Browse the Search Space For Some Transformations from CSP to SAT - Aix-Marseille Université Access content directly
Conference Papers Year : 2020

Another Way to Browse the Search Space For Some Transformations from CSP to SAT

No file

Dates and versions

hal-02456248 , version 1 (27-01-2020)

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⟩
47 View
3 Download

Share

Gmail Facebook X LinkedIn More