Data di Pubblicazione:
2019
Citazione:
Notes from the Guest Editors / Pulina, Luca; Seidl, Martina. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 11:1(2019). [10.3233/SAT190114]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Pulina, Luca; Seidl, Martina
Link alla scheda completa:
Pubblicato in: