Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
Contributo in Atti di convegno
Data di Pubblicazione:
2009
Citazione:
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas / Pulina, Luca; Tacchella, A.. - 5749:(2009), pp. 350-365. ( FroCos 2009 Trento (IT) 16-18/9/2009) [10.1007/978-3-642-04222-5_22].
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 Seventh International Symposium on Frontiers of Combining Systems (FROCOS’09)
Pubblicato in: