Data di Pubblicazione:
2009
Citazione:
A self-adaptive multi-engine solver for quantified Boolean formulas / Pulina, L., Tacchella, A.. - In: CONSTRAINTS. - ISSN 1383-7133. - 14:1(2009), pp. 80-116. [10.1007/s10601-008-9051-2]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Pubblicato in: