research
∙
08/29/2023
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
Although state-of-the-art (SOTA) SAT solvers based on conflict-driven cl...
share
research
∙
10/09/2020
Connection Pruning for Deep Spiking Neural Networks with On-Chip Learning
Long training time hinders the potential of the deep Spiking Neural Netw...
research
∙
09/28/2015
