Theory and Applications of Satisfiability Testing – SAT 2021 - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2021

Theory and Applications of Satisfiability Testing – SAT 2021

Chu-Min Li
Felip Manyà
  • Fonction : éditeur scientifique

Dates et versions

hal-04322117 , version 1 (06-12-2023)

Identifiants

Citer

Chu-Min Li, Felip Manyà. Theory and Applications of Satisfiability Testing – SAT 2021. Springer International Publishing, 12831, 2021, Lecture Notes in Computer Science, 978-3-030-80222-6. ⟨10.1007/978-3-030-80223-3⟩. ⟨hal-04322117⟩
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More