Skip to Main content Skip to Navigation
New interface
Books

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

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

Citation

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

Share

Metrics

Record views

8