Picture for Sharad Malik

Sharad Malik

Combined Scheduling, Memory Allocation and Tensor Replacement for Minimizing Off-Chip Data Accesses of DNN Accelerators

Add code
Nov 30, 2023
Viaarxiv icon

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Add code
Dec 21, 2015
Figure 1 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Figure 2 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Figure 3 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Figure 4 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Viaarxiv icon