Author:
Gao Xiao-Shan,Chou Shang-Ching
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
2. Comprehensive Characteristic Decomposition of Parametric Polynomial Systems;Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation;2021-07-18
3. Analyzing Boolean Functions via Solving Parametric Polynomial Systems;Journal of Systems Science and Complexity;2020-09-09
4. On the Chordality of Simple Decomposition in Top-Down Style;Mathematical Aspects of Computer and Information Sciences;2020
5. On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style;Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation;2018-07-11