Accelerated Discovery of Set Cover Solutions via Graph Neural Networks

2025/01/01 by Zohair Shafi, Benjamin A. Miller, Tina Eliassi-Rad +2 · 1 voice
Computer Science · #Formal Methods in Verification #Software System Performance and Reliability #Software Testing and Debugging Techniques

paper · doi:10.1007/978-3-031-95976-9_12

crossref issued 2025/01/01 · crossref published 2025/01/01 · crossref published-print 2025/01/01 · openalex publication_date 2025/01/01 · crossref created 2025/06/28 · openalex created_date 2025/06/28 · crossref published-online 2025/06/29 · crossref deposited 2026/04/30 · crossref indexed 2026/05/29 · openalex updated_date 2026/07/29

Citations

• A Linear Programming Approach to the Cutting-Stock Problem
• Machine learning for combinatorial optimization: A methodological tour d’horizon

Discussions

• Our final session at CPAIOR contains a varied number of topics: learning, algorithm configuration and MDPs. As a suprise speaker, Bistra Dilkina is presenting the work "Accelerated Discovery of Set Co [bsky, 3 points, 1 comments]