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