IRIS

Preface / Pulina, L.; Seidl, M.. - 12178:(2020), pp. v-vi. ( 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 20202020).

Preface

Pulina L.;
2020-01-01
2020
Inglese
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020
12178
v
vi
Springer
2020
Internazionale
2-s2.0-85088264801
Preface / Pulina, L.; Seidl, M.. - 12178:(2020), pp. v-vi. ( 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 20202020).
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Pulina, L.; Seidl, M.
273
2
none
info:eu-repo/semantics/conferenceObject
4.1 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/239895
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact