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 : jeudi 21 décembre 2023-16:27:30
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
4
Consultations
0
Téléchargements