ahsillyme's submissions

1.		The Model Counting Competitions 2021-2023 (arxiv.org)
		2 points by ahsillyme 6 days ago \| past \| discuss
2.		Broughton Suspension Bridge (wikipedia.org)
		1 point by ahsillyme 57 days ago \| past
3.		High-Throughput SAT Sampling (arxiv.org)
		2 points by ahsillyme 73 days ago \| past
4.		Flip Graphs with Symmetry and New Matrix Multiplication Schemes (arxiv.org)
		3 points by ahsillyme 77 days ago \| past
5.		Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (arxiv.org)
		1 point by ahsillyme 3 months ago \| past
6.		Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (arxiv.org)
		3 points by ahsillyme 3 months ago \| past