| 1. | | Optimal Software Pipelining Using an SMT-Solver (arxiv.org) |
| 2 points by ahsillyme 73 days ago | past |
|
| 2. | | The quadratic knapsack problem (2025) (sciencedirect.com) |
| 2 points by ahsillyme 4 months ago | past |
|
| 3. | | Kleene Algebra (arxiv.org) |
| 3 points by ahsillyme 4 months ago | past |
|
| 4. | | Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org) |
| 1 point by ahsillyme 4 months ago | past |
|
| 5. | | Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org) |
| 3 points by ahsillyme 5 months ago | past |
|
| 6. | | Depth-13 Sorting Networks for 28 Channels (arxiv.org) |
| 4 points by ahsillyme 5 months ago | past |
|
| 7. | | Generic functional parallel algorithms: scan and FFT (2017) (acm.org) |
| 1 point by ahsillyme 6 months ago | past |
|
| 8. | | The Model Counting Competitions 2021-2023 (arxiv.org) |
| 2 points by ahsillyme 11 months ago | past |
|
| 9. | | Broughton Suspension Bridge (wikipedia.org) |
| 1 point by ahsillyme on March 2, 2025 | past |
|
| 10. | | High-Throughput SAT Sampling (arxiv.org) |
| 2 points by ahsillyme on Feb 14, 2025 | past |
|
| 11. | | Flip Graphs with Symmetry and New Matrix Multiplication Schemes (arxiv.org) |
| 3 points by ahsillyme on Feb 10, 2025 | past |
|
| 12. | | Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (arxiv.org) |
| 1 point by ahsillyme on Jan 16, 2025 | past |
|
| 13. | | Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (arxiv.org) |
| 3 points by ahsillyme on Jan 13, 2025 | past |
|
