共 50 条
- [41] Deterministic Identity Testing for Sum of Read-once Oblivious Arithmetic Branching Programs 30TH CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC 2015), 2015, 33 : 323 - 346
- [42] Graph-driven free parity BDDs: Algorithms and lower bounds MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 212 - 223
- [43] Deterministic Identity Testing for Sum of Read-Once Oblivious Arithmetic Branching Programs computational complexity, 2017, 26 : 835 - 880
- [45] A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017, 2017, 10307 : 119 - 128
- [46] Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus Combinatorica, 2002, 22 : 555 - 574
- [48] Hitting Sets for Multilinear Read-Once Algebraic Branching Programs, in any Order STOC'14: PROCEEDINGS OF THE 46TH ANNUAL 2014 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2014, : 867 - 875
- [50] Hitting Sets with Near-Optimal Error for Read-Once Branching Programs STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2018, : 353 - 362