Pinned Loading

1. jacky860226/ICCAD-2021-B jacky860226/ICCAD-2021-B Public

   ICCAD-2021-B

   C++ 12 2

2. Compressed-Sparse-Blocks Compressed-Sparse-Blocks Public

   Implement "Parallel Sparse Matrix-Vector and Matrix-Transpose-Vector Multiplication Using Compressed Sparse Blocks"

   C++ 1

3. SatSolver SatSolver Public

   SAT solver, NYCU, 2021 Spring.

   C++

4. Applications_Of_Computational_Algorithms Applications_Of_Computational_Algorithms Public

   Homeworks of Practice/Real-Life Applications of Computational Algorithms, 2021 Spring, NYCU

   Python

5. EDA_2021_Spring EDA_2021_Spring Public

   EDA Homework, 2021 Spring, NYCU

   C 2

6. Treewidth-SAT-Solver Treewidth-SAT-Solver Public

   Implementation of "Encoding Treewidth into SAT"

   C++