Cited in
(12)- BerkMin: A fast and robust SAT-solver
- 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}\))
- Parallel computation of the Burrows Wheeler transform in compact space
- Resolution proof transformation for compression and interpolation
- Miniball
- SATLIB Benchmark Suite
- mkESA
- PMP
- Parallel lightweight wavelet tree, suffix array and FM-index construction
- Efficient implementation of a synchronous parallel push-relabel algorithm
This page was built for software: CMU Benchmarks
