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