> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL Beteiligte: Marić, Filip Erschienen: Elsevier BV, 2010 Erschienen in: Theoretical Computer Science, 411 (2010) 50, Seite 4333-4356 Sprache: Englisch DOI: 10.1016/j.tcs.2010.09.014 ISSN: 0304-3975 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang