Резултати

еНаука >  Резултати >  Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Назив: Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Аутори: Marić, Filip  
Година: 2010
Публикација: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Претражи идентификатор
Издавач: Elsevier
Тип резултата: Научни чланак
Колација: 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
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
22M22 - Међународни часопис категорије M22

53
SCOPUSTM
34
OpenCitations
42
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.