Title of article :
Verifying minimum stable circuit values
Author/Authors :
C. K. Poon، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2003
Keywords :
Stochastic game , computational complexity , Verification , Arithmetic circuit
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters