Ouvrages
Année : 2021
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04322117
Soumis le : mercredi 6 décembre 2023-16:27:37
Dernière modification le : vendredi 4 avril 2025-15:49:10
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⟩
Collections
49
Consultations
0
Téléchargements