Sciweavers

FROCOS
2009
Springer

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas

14 years 23 days ago
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
Luca Pulina, Armando Tacchella
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FROCOS
Authors Luca Pulina, Armando Tacchella
Comments (0)