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 metadatas

https://hal-amu.archives-ouvertes.fr/hal-02456248
Contributor : Richard Ostrowski <>
Submitted on : Monday, January 27, 2020 - 11:21:50 AM
Last modification on : Tuesday, January 28, 2020 - 1:35:10 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

Record views

25