CMU Benchmarks
From MaRDI portal
Software:23850
swMATH11914MaRDI QIDQ23850FDOQ23850
Author name not available (Why is that?)
Cited In (8)
- Parallel lightweight wavelet tree, suffix array and FM-index construction
- BerkMin: A fast and robust SAT-solver
- Resolution proof transformation for compression and interpolation
- Novel algorithms for noisy minimization problems with applications to neural networks training
- A matrix modular neural network based on task decomposition with subspace division by adaptive affinity propagation clustering
- In-place parallel super scalar samplesort (\(\mathrm{IPS}^4\mathrm{o}\))
- Efficient implementation of a synchronous parallel push-relabel algorithm
- Parallel computation of the Burrows Wheeler transform in compact space
This page was built for software: CMU Benchmarks
