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

Richard Ostrowski; Lionel Paris; Adrien Varet

Conference Papers Year :

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

(1) , (1) , (1)

1

Richard Ostrowski

Function : Author

COntraintes, ALgorithmes et Applications

Lionel Paris

Function : Author

COntraintes, ALgorithmes et Applications

Adrien Varet

Function : Author
PersonId : 797164
ORCID : 0000-0003-3170-4484

COntraintes, ALgorithmes et Applications

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Richard Ostrowski : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/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

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share