Skip to Main content Skip to Navigation
New interface
Books

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 :
Books
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, October 26, 2022 - 8:13:20 AM

Identifiers

  • HAL Id : hal-03300808, version 1

Collections

UNIV-ARTOIS | LIF | CNRS | UNIV-AMU | EC-MARSEILLE | LIS-LAB | 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 Datacite

Share

Metrics

Record views

8