ahsillyme

Recent Submissions

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