Rezultati

eNauka >  Results >  Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Title: Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Authors: Marić, Filip  
Issue Date: 2010
Publication: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Search Idenfier
Publisher: Elsevier
Type: Article
Collation: 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
Metadata source: Migrirano iz RIS podataka
M-category: 
22M22

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.