TY - SER AU - Guo, Qian AU - Kan, Haibin TI - An Average-Case Efficient Algorithm on TestingIdentity of Boolean Functions in Trace Representation KW - Average-Case Analysis KW - Boolean Functions in Polynomial Form KW - Trace Representation ER -