13 days ago|discuss
user: ahsillyme
15 karma | created 1 year ago
recent submissions
Optimal Software Pipelining Using an SMT-Solver
(arxiv.org)
2 pts|1 month ago|discuss
2 months ago|discuss
2 months ago|discuss
The quadratic knapsack problem (2025)
(sciencedirect.com)
2 pts|3 months ago|discuss
3 months ago|discuss
Kleene Algebra
(arxiv.org)
3 pts|3 months ago|discuss
1 pts|3 months ago|discuss
3 months ago|discuss
3 pts|3 months ago|discuss
Depth-13 Sorting Networks for 28 Channels
(arxiv.org)
4 pts|3 months ago|discuss
5 months ago|discuss
2 pts|5 months ago|discuss
1 pts|5 months ago|discuss
The Model Counting Competitions 2021-2023
(arxiv.org)
2 pts|10 months ago|discuss
Broughton Suspension Bridge
(en.wikipedia.org)
1 pts|1 year ago|discuss
High-Throughput SAT Sampling
(arxiv.org)
2 pts|1 year ago|discuss
3 pts|1 year ago|discuss
1 pts|1 year ago|discuss
3 pts|1 year ago|discuss