KIT | KIT-Bibliothek | Impressum | Datenschutz

Memory efficient parallel SAT solving with inprocessing

Iser, M. 1; Balyo, T. 1; Sinz, C. 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1109/ICTAI.2019.00018
Scopus
Zitationen: 3
Dimensions
Zitationen: 4
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page