Author:
Chen Zhi-Zhong,Kao Ming-Yang
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying the Product of Generalized Boolean Matrix Multiplication and Its Applications to Detect Small Subgraphs;Lecture Notes in Computer Science;2023
2. Efficiently Correcting Matrix Products;Algorithmica;2016-08-22
3. Bipartite perfect matching is in quasi-NC;Proceedings of the forty-eighth annual ACM symposium on Theory of Computing;2016-06-19
4. Efficiently Correcting Matrix Products;Algorithms and Computation;2014
5. Decision Procedures for Proving Inductive Theorems without Induction;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014