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]
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing
PULINA, Luca;
2010-01-01
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.