Memory efficient parallel SAT solving with inprocessing
Iser, M.
1; Balyo, T. 1; Sinz, C. 1
1 Karlsruher Institut für Technologie (KIT)
1; Balyo, T. 1; Sinz, C. 11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2020 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-72813-798-8 ISSN: 1082-3409 KITopen-ID: 1000117866 |
| Erschienen in | Proceedings 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019; Portland; United States; 4 November 2019 through 6 November 2019 |
| Veranstaltung | 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2019), Portland, OR, USA, 04.11.2019 – 06.11.2019 |
| Verlag | IEEE Computer Society |
| Seiten | 64-70 |
| Serie | 2019-November |
| Vorab online veröffentlicht am | 13.02.2020 |
| Nachgewiesen in | Scopus Dimensions |