A more pragmatic CDCL for IsaSAT and targetting LLVM (short paper)

Objekt anzeigen

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• Umfang: Online-Ressource
• Sprache: Englisch
• Anmerkungen: Automated deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. - Cham : Brigitte Pientka, Cesare Tinelli (Hrsg., u.a.), 2023. - 207-219, ISBN: 978-3-031-38498-1

Klassifikation und Themen

• Klassifikation: Literatur, Rhetorik, Literaturwissenschaft

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Freiburg
• (wer): Universität
• (wann): 2024
• Urheber: Fleury, Mathias ; Lammich, Peter

Weitere Informationen

• DOI: 10.1007/978-3-031-38499-8_12
• URN: urn:nbn:de:bsz:25-freidok-2566611
• Rechteinformation: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.