Data di Pubblicazione:
2010
Citazione:
AQME’10 System Description / Pulina, Luca; Tacchella, A.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 7:(2010), pp. 65-70.
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Pubblicato in: