Deterministic black-box identity testing π-ordered algebraic branching programs

被引：0
|
作者：
Jansen, Maurice [1 ]
Qiao, Youming [2 ]
Jayalal Sarma, M.N. [3 ]
机构：
[1] School of Informatics, University of Edinburgh, United Kingdom
[2] Institute for Theoretical Computer Science, Tsinghua University, China
[3] Department of Computer Science and Engineering, Indian Institute of Technology Madras, India
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2010年 / 8卷
关键词：
Number:; 60553001; Acronym:; NSFC; Sponsor: National Natural Science Foundation of China; 61073174; 61033001;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Polynomials
引用
收藏
页码：296 / 307
相关论文
共 50 条
  • [1] Deterministic Black-Box Identity Testing π-Ordered Algebraic Branching Programs
    Jansen, Maurice
    Qiao, Youming
    Sarma, Jayalal M. N.
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 : 296 - 307
  • [2] Equivalence, identity, and unitarity checking in black-box testing of quantum programs
    Long, Peixun
    Zhao, Jianjun
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 211
  • [3] Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time
    Arvind, V.
    Chatterjee, Abhranil
    Mukhopadhyay, Partha
    PROCEEDINGS OF THE 56TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC 2024, 2024, : 106 - 117
  • [4] Testing Functional Black-Box Programs Without a Specification
    Walkinshaw, Neil
    MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 101 - 120
  • [5] A TEST CASE GENERATION METHOD FOR BLACK-BOX TESTING OF CONCURRENT PROGRAMS
    ARAKAWA, N
    SONEOKA, T
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (10) : 1081 - 1089
  • [6] Black-Box Identity Testing of Depth-4 Multilinear Circuits
    Saraf, Shubhangi
    Volkovich, Ilya
    COMBINATORICA, 2018, 38 (05) : 1205 - 1238
  • [7] Black-Box Identity Testing of Depth-4 Multilinear Circuits
    Saraf, Shubhangi
    Volkovich, Ilya
    STOC 11: PROCEEDINGS OF THE 43RD ACM SYMPOSIUM ON THEORY OF COMPUTING, 2011, : 421 - 430
  • [8] Black-Box Identity Testing of Depth-4 Multilinear Circuits
    Shubhangi Saraf
    Ilya Volkovich
    Combinatorica, 2018, 38 : 1205 - 1238
  • [9] Establishing trust in black-box programs
    Xia, Ying
    Fairbanks, Kevin
    Owen, Henry
    PROCEEDINGS IEEE SOUTHEASTCON 2007, VOLS 1 AND 2, 2007, : 462 - 465
  • [10] Tailoring of black-box testing methods
    Murnane, Tafline
    Reed, Karl
    Hall, Richard
    2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 292 - +
12345