Rezultati

eNauka >  Rezultati >  Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Naziv: Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Autori: Marić, Filip  
Godina: 2010
Publikacija: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Pretraži identifikator
Izdavač: Elsevier
Tip rezultata: Naučni članak
Kolacija: vol. 411 br. 50 str. 4333-4356
DOI: 10.1016/j.tcs.2010.09.014
WoS-ID: 000284493500004
Scopus-ID: 2-s2.0-78049318372
URI: https://enauka.gov.rs/handle/123456789/539359
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

53
SCOPUSTM
34
OpenCitations
42
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.