Skip to Main content Skip to Navigation
Conference papers

OpenSAT: une plateforme SAT Open Source

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03299519
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 3:03:36 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM

Identifiers

  • HAL Id : hal-03299519, version 1

Collections

Citation

Gilles Audemard, Daniel Le Berre, Olivier Roussel. OpenSAT: une plateforme SAT Open Source. JNPC'03, 2003, Amiens, France. ⟨hal-03299519⟩

Share

Metrics

Les métriques sont temporairement indisponibles