Data di Pubblicazione:
2006
Citazione:
Report of the Third QBF Solvers Evaluation / Narizzano, M; Pulina, Luca; Tacchella, A.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 2:(2006), pp. 145-164.
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Narizzano, M; Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Pubblicato in: