Title of article
Resolution for Quantified Boolean Formulas
Author/Authors
Buning H. K.، نويسنده , , Karpinski M.، نويسنده , , Flogel A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
7
From page
12
To page
18
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261474
Link To Document