ahsillyme

Recent Submissions

1. 1. ▲ The quadratic knapsack problem (2025) (sciencedirect.com) 2 points · 1 month ago · 0 comments
2. 2. ▲ Kleene Algebra (arxiv.org) 3 points · 1 month ago · 0 comments
3. 3. ▲ Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org) 1 point · 1 month ago · 0 comments
4. 4. ▲ Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org) 3 points · 1 month ago · 0 comments
5. 5. ▲ Depth-13 Sorting Networks for 28 Channels (arxiv.org) 4 points · 1 month ago · 0 comments
6. 6. ▲ Generic functional parallel algorithms: scan and FFT (2017) (dl.acm.org) 1 point · 3 months ago · 0 comments
7. 7. ▲ The Model Counting Competitions 2021-2023 (arxiv.org) 2 points · 8 months ago · 0 comments
8. 8. ▲ Broughton Suspension Bridge (en.wikipedia.org) 1 point · 10 months ago · 0 comments
9. 9. ▲ High-Throughput SAT Sampling (arxiv.org) 2 points · 10 months ago · 0 comments
10. 10. ▲ Flip Graphs with Symmetry and New Matrix Multiplication Schemes (arxiv.org) 3 points · 10 months ago · 0 comments