An empirical study of QBF encodings: from treewidth estimation to useful preprocessing

Academic Article
Publication Date:
2010
Short description:
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing / Pulina, L., Tacchella, A.. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 102:3-4(2010), pp. 391-427. [10.3233/FI-2010-312]
Iris type:
1.1 Articolo in rivista
List of contributors:
Authors of the University:
Handle:
https://iris.uniss.it/handle/11388/80836
Published in:
FUNDAMENTA INFORMATICAE
Journal