Skip to Main content Skip to Navigation
Directions of work or proceedings

19th International Conference on Theory and Applications of Satisfiability Testing (SAT'16)

Nadia Creignou 1 Daniel Le Berre 2
1 LIF - Laboratoire d'informatique Fondamentale de Marseille
2 CRIL - Centre de Recherche en Informatique de Lens
Abstract : no abstract
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300808
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:08:17 PM
Last modification on : Wednesday, November 3, 2021 - 4:07:28 AM

Identifiers

  • HAL Id : hal-03300808, version 1

Collections

UNIV-ARTOIS | LIF | LIS-LAB | UNIV-AMU | CNRS | EC-MARSEILLE | CRIL

Citation

Nadia Creignou, Daniel Le Berre. 19th International Conference on Theory and Applications of Satisfiability Testing (SAT'16). Springer, 2016. ⟨hal-03300808⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles