Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
Contributo in Atti di convegno
Data di Pubblicazione:
2008
Citazione:
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings / Pulina, Luca; Tacchella, A.. - 5330:(2008), pp. 528-542. ( LPAR 2008 Doha (QATAR) 22-27/11/2008) [10.1007/978-3-540-89439-1_37].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
Proc. of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008)
Pubblicato in: