| user: | ahsillyme |
| created: | January 10, 2025 |
| karma: | 22 |
| 1. | |
| 2. | |
| 3. | The quadratic knapsack problem (2025)(sciencedirect.com) |
| 4. | Kleene Algebra(arxiv.org) |
| 5. | |
| 6. | |
| 7. | Depth-13 Sorting Networks for 28 Channels(arxiv.org) |
| 8. | |
| 9. | |
| 10. | The Model Counting Competitions 2021-2023(arxiv.org) |
| 11. | Broughton Suspension Bridge(en.wikipedia.org) |
| 12. | High-Throughput SAT Sampling(arxiv.org) |
| 13. | |
| 14. | |
| 15. |