KIT | KIT-Bibliothek | Impressum | Datenschutz

Memory efficient parallel SAT solving with inprocessing

Iser, M.; Balyo, T.; Sinz, C.



Zugehörige Institution(en) am KIT Karlsruher Institut für Technologie (KIT)
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, Los Alamitos (CA)
Seiten 64-70
Serie 2019-November
Vorab online veröffentlicht am 13.02.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page