ahsillyme's submissions

1.		Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
		2 points by ahsillyme 23 days ago \| past
2.		The quadratic knapsack problem (2025) (sciencedirect.com)
		2 points by ahsillyme 86 days ago \| past
3.		Kleene Algebra (arxiv.org)
		3 points by ahsillyme 3 months ago \| past
4.		Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)
		1 point by ahsillyme 3 months ago \| past
5.		Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org)
		3 points by ahsillyme 3 months ago \| past
6.		Depth-13 Sorting Networks for 28 Channels (arxiv.org)
		4 points by ahsillyme 3 months ago \| past
7.		Generic functional parallel algorithms: scan and FFT (2017) (acm.org)
		1 point by ahsillyme 5 months ago \| past
8.		The Model Counting Competitions 2021-2023 (arxiv.org)
		2 points by ahsillyme 10 months ago \| past
9.		Broughton Suspension Bridge (wikipedia.org)
		1 point by ahsillyme 11 months ago \| 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