Ouvrages
Année : 2021
chu-min Li : 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 : mardi 30 juillet 2024-12:40:03
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
13
Consultations
0
Téléchargements