swMATH11914MaRDI QIDQ23850FDOQ23850
Author name not available (Why is that?)
Official website: http://www.cs.cmu.edu/~pbbs/benchmarks.html
Cited In (12)
- 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
- Miniball
- SATLIB Benchmark Suite
- mkESA
- PMP
- 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
