Data di Pubblicazione:
2020
Citazione:
Preface / Pulina, L.; Seidl, M.. - 12178:(2020), pp. v-vi. (Intervento presentato al convegno 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 nel 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: