Readit News logoReadit News
Posted by u/ahsillyme 14 days ago
Optimal Software Pipelining Using an SMT-Solverarxiv.org/abs/2601.21842...
Posted by u/ahsillyme 3 months ago
The quadratic knapsack problem (2025)sciencedirect.com/science...
Posted by u/ahsillyme 3 months ago
Kleene Algebraarxiv.org/abs/2511.11264...
Posted by u/ahsillyme 3 months ago
Massively Parallel Proof-Number Search for Impartial Games and Beyondarxiv.org/abs/2511.10339...
Posted by u/ahsillyme 3 months ago
Embedding Symbolic Equivalence into Symbolic Regression via Equality Grapharxiv.org/abs/2511.05849...
Posted by u/ahsillyme 3 months ago
Depth-13 Sorting Networks for 28 Channelsarxiv.org/abs/2511.04107...
a

u/ahsillyme

KarmaCake day12January 10, 2025View Original