Data di Pubblicazione:
2010
Citazione:
An empirical study of QBF encodings: from treewidth estimation to
useful preprocessing / Pulina, Luca; Tacchella, A.. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 102:3-4(2010), pp. 391-427. [10.3233/FI-2010-312]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Pubblicato in: