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

Richard Ostrowski; Lionel Paris; Adrien Varet

Conference papers

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

Richard Ostrowski ¹ Lionel Paris ¹ Adrien Varet ¹

1 COALA - COntraintes, ALgorithmes et Applications

LIS - Laboratoire d'Informatique et Systèmes

Document type :

Conference papers

Domain :

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

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

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

Identifiers

Collections

Citation

Export

Metrics

25

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

Identifiers

Collections

Citation

Export

Share

Metrics

25