Data di Pubblicazione:
2020
Citazione:
Preface / Pulina, L., Seidl, M.. - 12178:(2020), pp. v-vi. (23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 2020).
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, L.; Seidl, M.
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: