مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

On 2-QBF truth testing in parallel

Author/Authors :

Bengt Aspvall، نويسنده , , Christos Levcopoulos، نويسنده , , Andrzej Lingas، نويسنده , , Robert Storlind، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1996

Pages :

From page :

To page :

Keywords :

Parallel algorithms , 2-QBF , Satisfiability , 2-CNF , Quantified boolean fonnula

Journal title :

Information Processing Letters

Serial Year :

1996

Journal title :

Information Processing Letters

Record number :

128417

Link To Document :