Data di Pubblicazione:
2009
Citazione:
Hard QBF Encodings Made Easy: Dream or Reality? / Pulina, Luca; Tacchella, A.. - 5883:(2009), pp. 31-41. ( AI*IA 2009 Reggio Emilia (IT) 9-12/12/2009) [10.1007/978-3-642-10291-2_4].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence
Pubblicato in: