本仓库用来存放 B 站课程 《现代 C++ 模板教程 2024》的教案、代码，和作业。 任何组织和个人遵守 CC BY-NC-ND 4.0 ...

Abstract: Sparse-Sparse matrix multiplication (SpMSpM) is a critical computation in various fields such as computational science and graph analysis. It poses computational challenges for ...

Abstract: Binary Decision Diagrams (BDDs) are the most frequently used data structure for handling Boolean functions because of their excellent efficiency in terms of time and space. Algebraic ...