From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search
Schreiber, Dominik
1; Jabs, Christoph; Berg, Jeremias
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Jabs, Christoph; Berg, Jeremias1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-57735-901-2 ISSN: 2832-9163, 2832-9171 KITopen-ID: 1000186110 |
| Erschienen in | Proceedings of the International Symposium on Combinatorial Search |
| Veranstaltung | 18th International Symposium on Combinatorial Search (2025), Glasgow, Vereinigtes Königreich, 12.08.2025 – 15.08.2025 |
| Verlag | Association for the Advancement of Artificial Intelligence (AAAI) |
| Seiten | 127 – 135 |
| Serie | Proceedings of the International Symposium on Combinatorial Search ; 18 |
| Vorab online veröffentlicht am | 19.07.2025 |
| Nachgewiesen in | Dimensions Scopus OpenAlex |