Data di Pubblicazione:
2008
Citazione:
QuBIS: An (In)complete Solver for Quantified Boolean Formulas / Pulina, Luca; Tacchella, A.. - 5317:(2008), pp. 34-43. ( MICAI 2008 Atizapan de Zaragoza (Mexico) 27-31/10/2008) [10.1007/978-3-540-88636-53].
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 7th Mexican International Conference on Artificial Intelligence (MICAI 2008)
Pubblicato in: