CMU Benchmarks
From MaRDI portal
Cited in
(12)- Parallel lightweight wavelet tree, suffix array and FM-index construction
- Resolution proof transformation for compression and interpolation
- BerkMin: A fast and robust SAT-solver
- A matrix modular neural network based on task decomposition with subspace division by adaptive affinity propagation clustering
- Miniball
- SATLIB Benchmark Suite
- mkESA
- PMP
- Novel algorithms for noisy minimization problems with applications to neural networks training
- 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
